Add "Zen slice" lemma