11.1 only the quickcheck still to do..