← KEY REFERENCES: Laying the Foundation for B