Formalism: Relax restrictions on 'f', it only needs to be an involution for copying collectors
Sufficiency of framework