thosedarktrees: Propositions 1.