This reading is will be released soon!
You are not required to implement ADT equality for problem set 2.