Parall Sequent Meth Equat Nmsc C door Kevin Burrage