Def/Well ordered 1