draw the diagram
motivate the Forall module