def_spec