supercomprehension

not defined yet