aims

• checks
• orthogonal
• anteroom
• infeasible
• slaver