Ну Krypt, ну едрить...  Я имел в виду математическое доказательство невозможности даблспенда.  Ну да, его нету.  Ну и что?  Во всей этой области очень мало что можно строго доказать.  Что ж теперь, нам всем переквалифицироваться в управдомы?..