A new calculus of contexts