This is using Exploring Equality.