atomic formulas