inductively

not defined yet