Despite that these are inverses, the two classes are used to simplify MSpec guard reporting modes
[Validate]