The "Menos Marx, Mais Mises" sort of flies in the face of characterizing this as being a STATO project & NED bullshit. I seem to recall mises.br is really the source of most the libertarian energy in Brazil, not the Kochtopus. It's likely the guy got into libertarianism thanks to those clowns, but I doubt they're still backing him given he's a Mises enthusiast.