complete resolution principle
formatting