proofs

• preferentially
• whorl
• pickabacks
• module
• LP