Aristoteles väitti vain, että se virallisesti todisti Q8:n BrokenArXivista, vaikka väite oli väärä. Se jatkaa tärkeän varauksen osoittamista, että ongelmaa ei voi ilmaista Leanissa, ja siksi se todisti jotain täysin triviaalia ja merkityksetöntä.