The d-port equality tensor returns one when all its incident bits are equal and zero otherwise. For d=2 its table is 1,0,0,1 in input order 00,01,10,11. For d=1 both entries are one: either value is allowed. Equality does not sum over an additional free variable; it constrains the existing wire bits. Connecting clause occurrences through equality tensors makes them use one consistent truth value. Without that constraint, occurrences of the same formula variable could be assigned different values and the network would count the wrong objects.