prove a (minor) cheat in infer_d_complete