Loading paper
On the number of MUSs crossing a position | Tomesphere