rejection sampler / logic sampler