Definition of "inferreth"