Class 5 maths study material. The first one is in the case of dependent types.