 Essentially, Anderson took this equivalent course with “\(s\)” being his primitive (initially standing for something like “the sanction has been invoked” or “there is a liability to sanction”), and \(\neg \Box s\), as the axiom added to some modal system (e.g., at least as strong as modal system KT).