Principal exemption and tax law