superinferring

not defined yet