This directory contains some handwritten notes I made, and some
screenshots from a synthesis tool.