I like seeing something along the line of constructive logic in the wild (i.e. not (not p) != p).