Logic in Russia. VFIL 2021, No. 8, 109-115.