Acknowledgments

I am writing this course while doing a postdoc with Michael Franke, so a big thank you to him!

Also thank you to Steven Piantadosi for developing LOTlib3, thus saving me a huge amount of time.