@gregheo @wooji Also, I’m very pleased to see that you love the semicolon; it’s the most under-appreciated punctuation mark!