Working on order-invariance.