14 cases of completeness proof remain.  Still to allow tuples.