Definition:Implicans