Welke van de volgende opties beschrijft het beste wanneer de biconditionele operator (↔) waar retourneert?