Αποστολή με SMS: Natural Deduction with General Elimination Rules and a Proof of Hauptsatz without multicut