Text this: The calculus of extension :