The Architecture of System B