Notes from a class on Ericsson and Abundant