In “Command and Consequence”, I gave a two-dimensional semantics for a language containing an imperativising operator !, in which ! was a Stalnaker dagger-like operator. I suggested (and in this paper will prove) that the resulting logic is the normal modal logic KDDc4.