Teaching notes for CSE 143 at the University of Washington