Natural_deduction loading ...