наконец-то закончилась активная фаза самого напряжного дня в неделе. что-то желание какое-то странное появилось после лекции по мат логике.взять голову за допущение и оторвать её по modus ponens. надеюсь это временно.