What exactly is a transsexual, in logical terms?