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