Levesque

• syllogism
• redirect
• Jarvis
• Poitier
• Indianan