"Implies"