fix f:!x.x=x.\n:#.case n of #0 -> ax0E
		| k' -> (succE k k (f k))