Так, ну вобщем, учесть неявную прокрутку доказательств - это раз.
Ещё что-нить противное есть?