removed unneeded stuff from GJS's eq-properties
removed old code