This is related the non-clear `aux` function name. The `aux` here returns a reversed list, but it is immediately clear from the name. A better function name should be used as you suggested.