nonsoluble
not defined yet