Prism-1 Identifies Axiom Violations in System One Decision Models | HACKOBAR_