Please try to name local functions with something better than `aux`. I know that finding a good name is not always easy but it helps the reader.