[1] first quickcheck