Python has a very similar thing, where you can have an else after a loop. However I always found it unintuitive whether the else branch gets executed if you break the loop or if you finish all iterations without breaking. Even now I'd have to look it up.
"then" and "else could be changed to something more descriptive, they were just the first keywords that came to mind.
