Element 'collision invariants'