Title: The Calculus of Extension