Propositions are true statements that are somewhat less consequential than theorems but are nonetheless worth writing down.
