Rewriting start -> Markov rewritten (tested works)