Let Dn​ be the n-punctured disk. We prove that a family of essential
simple arcs starting and ending at the boundary and pairwise intersecting at
most twice is of size at most (3n+1​). On the way, we also show that
any nontrivial square complex homeomorphic to a disk whose hyperplanes are
simple arcs intersecting at most twice must have a corner or a spur.Comment: Assaf Bar-Natan's MSc thesis, written under the supervision of Prof.
Piotr Przytyck