A new set of slides (with some overlap) -- more AVL trees and abduction, less type system.