The Argument Solver Completionists