Class TruthConstantAsserts