Add equality rules