"contravariant" - key terms from Wikipedia