axioms/
axiomwording/
decisions/
introwording/
manual_decision/
resolve/