terminant
not defined yet