Same exercises
Added QuickCheck tests