superinferred

not defined yet