semiconically
not defined yet