If strong rationality's additional eliminations are order-dependent, the extra constraints it impose...