Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and Transversal Calculus