Dependent Origination and Equality