Add problem 4.5 (no test though)
Add problem 12.3
Add problem 4.6