Create NotSpecification.m