Def equivalence

Modification history