inferribility

not defined yet