If φ has no variables , that is , if φ is an atomic sentence , and it is satisfied by `` A '' , then one writes
If φ has no variables , that is , if φ writes an atomic sentence , and it is satisfied by `` A '' , then one is