úÎ_Ñ     Safe%&9;QR     SafeSafeQRSafeQR    Safe         !"$htaut-0.1.1.0-2RVEVNdF4bG7Oy46qxyNOzHtaut.Proposition Htaut.ProvingHtaut.Theorem.BasicHtaut.Theorem.ElementaryHtaut<->OrAndNegBottomTopProp bottomImply $fPropEither $fPropAnd $fProp(->) $fPropBottom $fPropTopProveEvidenceexfalso $fMonadProve$fApplicativeProve$fFunctorProve syllogism syllogism' propagateconditionSeperateconditionCommuteidentity conditionAdd dunsScotus dunsScotus'