Lec 15: Add a bit about IP at UW-Madison