update picture with quickcheck implementations