That's a mistake, right? (It would either be true or false.) What should it be instead?