Notes for eedu555