Init: explains the need for `if` despite `cond`