contravariant position limitation