salt discovery passing quickCheck!!!!!!!