Input: If Ron knows whether to wear a tuxedo, and Caspar knows whether not to, do they know different things?
Output: 1