implicationis