There are two that I can think of: this, and the fact that there's no equality class yet. In practice it just doesn't come up.