Bonding calculus