[1.1] Initial commit of a PrimeSpecification