Sadly, `then` is a reserved keyword from the if- **then** -else statement.
I'll remove the infix ops though.