Вчера вечером после английского пересматривал с мамой "Большую перемену". Где-то с середины. Настроил mizar-mode в Emacs под Ubuntu.

Сегодня у мамы день рождения. 28 она пойдёт на "Красавицу и чудовище". Одна. Не думаю, конечно, что это плохой мюзикл, но мюзиклы не по мне.

Сегодня задержался. В целом, кажется, сдвиг есть. Теперь осталась только рутина. Принципиальные проблемы разрешены. Завтра всё успею.