Sequent calculus and linear logic: The Blind Spot and the cut rule | Heykuki News