cullender

• lemmas
• swap
• outrank
• undecidable
• primate