reproofs

• subdivisions
• ciphers
• greeting
• Carlson
• hexed