implicationum