pentagons a weakly relational abstract domain for the published presentations and documents on DocSlides.