In other news, Matt and I spent some time today talking about dimension theory, slowly working though the proof of Krull's Hauptidealsatz. Things are making more sense, slowly... very slowly.