Progressivity, vertical and horizonal equity