complete SPEC