Add "mischan" lemma