the construction while not functorial is a fundamental tool in scheme theory i don't mind drinking regular cola from the supermarket little is known of this author