Theoretical aspects of tax fairness | Synapse