A guard that never fires is the same as a guard that does not work

Every guard has two states: working and green by accident. Both print “OK”. The difference only shows...