added octopus roll lemma