"On the semantics of schemes"