Исправление vM, 03.08.21 16:54 (текущая версия) :
Ср.
τy¬¬¬∈τx¬¬∈□x□y□y
Узнали?
Исходная версия vM, 03.08.21 16:54: