I certainly would like to think so, but the argument seems circular. These things are so hard to reason about!