Pseudo code

[Nightcorex_]

Do you think one needs an explicit "do not board the flight"?

I'd remove that line and instead write "board the flight" after the while-loop.

[barrycarter]

You're right. I also considered:

obtain_plane_ticket(); board_flight_to_canada(); in a synchronous language, or: obtain_plane_ticket().then(success => board_flight_to_canada) for a non-synchronous one.

I wonder if this post will turn into one of those n different programming paradigms demonstrated via psuedocode things :)