Deontic logic! "Prove that killing Mr. A is incompatible with the categorical imperative. Also supports undo and redo."