A System of Tax Resolution