Create AndSpecification.m