That covers many cases, but not all. Consider:

    bool contains(other) { ... }

This looks like a sink operation — you're passing a value in, just like you do with add() — but is naturally covariant, not contravariant.