Def/Total order 1