Definition of "implieth"