Finished checking Part 1

The concept of the ring_border was key for my understanding. It's much
easier to see these kinds of errors when you're looking at the variables
than when you're looking at raw expressions.