Sequent Calculus and Notation – Par Part 1