nonamputation
not defined yet