substitutively
not defined yet