When on the other hand the statement operator 'nee' is used, iteration as in is the most natu ral of steps; and it is significant that in modal logic there has been some question as to ust what might most suitably be postulated regarding such iteration.'