αρχείο Email: Natural Deduction with General Elimination Rules and a Proof of Hauptsatz without multicut