Class AndSpecification