https://nvo.ng.ru/concepts/2022-07-07/5_1196_logics.html