skin of teeth and tongue of dog
starting lec4
Do some exercises
Try some stuff in Lec2
Work on Ex2.agda