diffed

• Isabelle
• instructions
• rebutting
• entered
• unbending
• uninspiring