deducorrect: Deductive correction, deductive imputation, and