Since that recoding, I figured out solutions to a few problems. The most important of these are: