Markov's Stepwise Semantics, an article by G.E.Mints