@davidflanagan, do you think the above understanding is correct, especially the `else {}` part?