#2: equivalence conversion WIP