Quasi-topologie algébrique, Armando Machado · Super Livre