Gravar-mail: The Nine Lemma and the push forward construction for special Schreier extensions of monoids with operations