believer

• inequalities
• segfaults
• detector
• exceptions
• Folsom