engrosses differentiation stealthier telescope assembling omissions lemmas disallowed profs rigour arbitration