Order independence/monotonicity is strong EC rather than regular EC.