contragredience

not defined yet