learn about list destruction and list induction (!). quite cool. can we prove that induction is valid for lists or is it a hypothesis? also need to prove bag theorem