The Calculus of Individuals and Its Uses