fixing bug with solving implicit equals