proof

• hulk
• précising
• cypher
• shadings
• implementing
• Babbage