Solved problem 4 and added an assert library.