declassifying

• hales
• jumps
• Hickman
• birdlike
• axiom