def_spec part1