So to recap: the only effect of the guards was to force these “sloppy” copies to be semantically correct transitions? That’d be good news indeed!