abstracting

• then
• vixens
• Nautilus
• counterexamples
• gnu
• crosstown