Finished report ass. 2, test was already written using QuickCheck and thus removed.