Comment appendices out and move relevant stuff to front. Prove that L is a group.