[contravariant]

It often happens that coming up with the right theorem is a lot harder than finding its proof, but that's life. You can't have everything be easy, otherwise we'd have finished by now.