Decide, in as far as possible (but perhaps in another package) - idempotency - commutativity
Decide, in as far as possible (but perhaps in another package)