E se argumentos pudesse ser traduzidos para uma estrutura computável?