Using what definition of "implies"? From formal logic, or the rhetorical implies?