Results for: How To Use Decent Sampler In Logic