Make it use CrispModusPonens where appropriate