IMPLIES equivale a «si ...