Normal_form_(natural_deduction) loading ...