Design 1 lecture notes