supersimplicity

not defined yet