<Implicatie> ()