Natural deduction is a way to prove the validity of a sequent, but there exist still more. Some of them are:
