hereditarily

not defined yet