Maybe slightly simpler

Maybe it is slightly simpler because the aux takes only two arguments