Non-morganatic specifications 27 August 201421 August 2014 by Bertrand Meyer I have temporarily withdrawn this article because the specific case it used as an example has changed. I will re-publish it as soon as the situation has stabilized.