We keep `then` on the same line as `if`