experimental quick-check using reduced