ENforcing inferred sorts.