generate reductio