Added part C and quickcheck