eir < FOR ALL

x