esse é o adolfo, do qual eu falei, o nome é em homenagem ao professor de lógica kk