Rudimentary equality added.