formalisation

• reordering
• asserts
• anachronistic
• Onegin
• internee
• Russo
• pimpliest