Notes for the SIO233 course