coinferred

not defined yet