more contravariant work