`true` is `value` -> `true` if `value`