I am not aware of anything similarly strictly defined, but that is not, of course, evidence for the correctness or even usefulness of IIT, and nor does it somehow counter the specific objections that Aaronson raises.