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
redcoat: British soldier; so-called because of his red coat (especially during the American Revolution)