contravariant bump