trying (again) to split completeness proof up