bit of random hacking around infer_d_complete

the theorem statement almost certainly needs to change though