irreflection

not defined yet