Finished the buttons of all natural deduction rules