Execution

Just for feedback
This will need to be re-written when rebasing over your changes anyway.

But the match seemed cleaner in this case. The trouble with `if` was that if you try to use vertical spacing to organize your code, the two branches of the if statement are very unbalanced. The two alternatives in the match are much closer together vertically. In this case I thought the match was nicer to read.