Up to problem 12 (partially)