propositions

• explanations
• builder
• untrue
• lambda
• velocities
• testaments
• cud
• maceration