G.RL.1.1: Use undefined terms, definitions, postulates, and theorems in logical arguments/proofs.