M.V. Svyatlovskiy. Strictly positive fragments of K4 and its extensions