asserted cr-isdefinedby to be idempotent