opposite traffic lights sketch

A reference clafer is a clafer whose value is another clafer.

We can define the opposite traffic light as follows

Back to the conclusion of Part III