proofs

• controller
• diamonds
• Octavia
• snubbed
• cryptographers