heteroclital

not defined yet