Pseudo codes

Note that we don't validate the inner-loop'sλ at every outer-loop iteration, but keep changing it on-the-fly at each validation cycle.