doc for idempotence, commutativity assertions