added a hole for shuffle, a glue lemma that should help prove swapmnWorks