subdemonstrating

not defined yet