Lo deducible de lo indeducible
overview