  We introduce the calculus of neo-Peircean relations, a string diagrammatic
extension of the calculus of binary relations that has the same expressivity as
first order logic and comes with a complete axiomatisation. The axioms are
obtained by combining two well known categorical structures: cartesian and
linear bicategories.
