contragredient

not defined yet