SpecSystem defined