Used that montony lemma