Designing and Reforming Taxation in the Real World