0.310

Again, tried to fix more of the old man's comments. Specifically, the
open-ness proof.