formalise

• checkers
• decibel
• Aileen
• fiddly
• predicate
• Ohio