added more detail to the equals (references true) rule