a implies a