contravariant 1 support