Only the termination condition seems tricky to sort out.
Only the termination condition seems tricky to sort out.