\(\text{atomic statement}\)