Negation_introduction loading ...