Not that I'm a fan of the metaphor but that's not a great counterargument.

If a semicolon is programmable it obviously can also decide not to execute later computation. Otherwise it wouldn't actually be customizable.