Specification enforcement