x^1_2‾+e~x^s↔;III+III