Are you giving me a lesson in elementary mathematics?
It would seem I made a mistake in assuming that bighead's relationship with his boyfriend fell under the heading "logical equivalence".
But I fail to see how else one could modelise it. I'm stalemated.
No, it has nothing to do with mathematical conditional implications. BH is in denial.
Hahahahaha. OK, then. Crystal clear!