λas. [y+1%x]/ₒ 0 as