A Specification Statement Cannot Appear