Hmmmm. Question: in other countries that have presidents, what is the spouse called? Or the prime minister's wife? Do you ape the German custom of calling them 'Frau Doktor' and say 'Mrs' Prime Minister? Or is no formal recognition made of them at all?