A second-order term cannot cancel the first-order gap

The same argument distinguishes loop order: a positive power of $\hslash$ cannot cancel a fixed nonzero classical coefficient at ${\hslash }^0$ in a coefficientwise formal identity.

Figure fig:VI-compatible-order-obstruction explains the compatible conclusions and the coefficientwise order obstruction.