Description: If there is no case where wff is true, it is true for at most one case. (Contributed by Peter Mazsa, 27-Sep-2021)