added text and ref to quickcheck