Arcs on Punctured Disks Intersecting at Most Twice with Endpoints on the Boundary

Let $D_n$ 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 $\left(\genfrac{}{}{0px}{}{n+1}{3}\right)$. 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.