Carelessness over the distinction of use and mention having allowed this intrusion of 'implies' as a reading of ::J, the protest thereupon arose that ::J in its material sense was too weak to do ustice to 'implies,' which connotes something like logical implication.