sentential function: formal expression containing variables; becomes a sentence when variables are replaced by constants
formula: a group of symbols that make a mathematical statement
landmark: the position of a prominent or well-known object in a particular landscape