,

cannot be husband of

, and similarly in the case of wife. On the other hand, the relation "spouse" is symmetrical: if

is spouse of

, then