(v)implysuggest as a logically necessary consequence; in logic