ATRIUMsearch → argument graph

no people for “Banning general-purpose computation in favor of specialized anal