Procedure done, debugging

Does no more than one iteration as there is something wrong with the
solution of m.