Indeed the GOTO was implicit. Putting other things after THEN came later, as did the while loop.