A calculus of individuals based on ``connection''. | Synapse