To understand the event "Joe and Sarah are married.  Joe had sex with Cindy.", it is important to know that sarah is frigid