superformalness

not defined yet