This is a figure that is used in the answer to exercise 3.2:2 and is written in the programming language Metapost. You can edit the figure by clicking on the edit tab.