It's a search problem; finding the shortest and most elegant path through the space of arguments.