atomic formulae