equality for everyone is a type of ideal.