Added FalseSpecification and TrueSpecification