notes from OTP lecture