irreductible
not defined yet