https://123dok.net/document/qmj54p47-on-quasi-equations-locally-presentable-categories-ii-logic.html