A system where consequences track the nature of the offense rather than its satisfiability is just, ...