first simplification of deg-far