Definition/Meaning of implicans