cs25-notes: