"Notice that we already have a sort of rule - jump backs make loops, jump forwards make conditionals." . . . .