Msato's lecture notes