1: $

2: \UNTIL{convergence}

3: \UNTIL{convergence}

4: \STATE $