Вчера дома весь вечер проболтал по аське. Не могу сказать, что это было неприятно или что в результате не выспался. Нос почти отпустило.
Утром выяснилось, что всё нормально: операторы сегодня уже смогут работать. Вчера, однако, было бы лучше сделать домашнюю по английскому.
На обеде доказал единственность объединения множеств в Мицар. Ура! Я начинаю втыкать, наконец-то, как вообще доказывать на этом языке.
