Así pues, la implicación debe entenderse como: