Ota equivalence

Betty equivalence