Title: General metarules for interactive modular construction of natural deduction proofs