True is implicit on conditionals