[SPEC2DEF]