Added MustExistsSpecification.