Class ExistsAbstractSpecification