Chaned eq to be reflexive.
Changed order of development.