Negation and the result — Averrois — Averrois