@afranke From a set-theoretical point of view, if the size of the happy set was zero, that would not contradict the truth value of the proposition as stated.