Lewis lo llama implicación estricta.