⁶Remember that the idem attribute cannot be specified together with an assoc attribute; therefore idempotency must in this case be specified explicitly by an equation.