placement

• busies
• nominal
• enable
• Isabelle
• unsound