i. overview the principles of predictability, certainty, and fairness and respect for the right of taxpayers to legitimate tax minimization are the bedrock of tax law in the context of international tax treaties, respect for negotiated bargains between contracting states is fundamental to ensure tax certainty and predictability and to uphold the principle of pacta sunt servanda, pursuant to which parties to a treaty must keep their sides of the bargain. section 245 of the income tax act, rsc 1985, c 1 (5th supp.) (“act”), known as the general anti-avoidance rule (“gaar”), acts as a legislative limit on tax certainty by barring abusive tax avoidance transactions, including those in which taxpayers seek to obtain treaty benefits that were never intended by the contracting states. this intention is found by going behind the text of the provisions under which a tax benefit is claimed in order to determine their object, spirit, and purpose in the bilateral treaty context, there are two sovereign states whose intentions are relevant; a robust analysis must take both into consideration in order to give proper effect to the tax treaty as a carefully negotiated instrument. in this case, the appellant, her majesty the queen, as represented by the minister of national revenue (“minister”), submits that the transaction at issue abused the convention between the government of canada and the government of the grand duchy of luxembourg for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 2000 no. 22 (“treaty”). according to the minister, the drafters did not intend the treaty to benefit residents without “sufficient substantive economic connections” to their state of residence (af, at para. 100). in the view of the respondent, alta energy luxembourg sarl (“alta luxembourg”), the minister has failed to discharge her burden of establishing that the object, spirit, or purpose of the provisions was frustrated or defeated. in my view, the minister is asking this court to use the gaar to change the result, not by interpreting the provisions of the treaty through a unified textual, contextual, and purposive analysis, but by fundamentally altering the criteria under which a person is entitled to the benefits of the treaty, thus frustrating the certainty and predictability sought by the drafters. tax treaties are replete with choices. one key choice made by canada and luxembourg was to deviate from the organisation for economic co-operation and development (“oecd”) model tax convention on income and on capital (“oecd model treaty”)1 by including a specific carve-out provision for immovable property, also called the business property exemption this carve-out allocates to a person’s residence state the right to tax capital gains realized on the disposition of shares or other similar interests deriving their value principally from immovable property used in a corporation’s business. the rationale of the carve-out is not connected to the theory of economic allegiance. in fact, this provision is a clear departure from this theory, for the 1 several versions of the oecd model treaty and its introductions and commentaries are cited in these reasons: the 1977 “commentary on article 1”, in model double taxation convention on income and on capital; the 1998 “model convention with respect to taxes on income and on capital”, “commentary on article 1”, “commentary on article 4” and “commentary on article 13”, in model convention with respect to taxes on income and on capital: condensed version; the 2003 “model convention with respect to taxes on income and on capital”, “introduction” and “commentary on article 1”, in model tax convention on income and on capital: condensed version; and the 2017 “model convention with respect to taxes on income and on capital” and “introduction”, in model tax convention on income and on capital: condensed version. source state normally has the greater economic claim to tax income derived from immovable property or a business situated within its territory. canada’s decision to forego its right to tax such capital gains realized in canada was based on economic considerations broader than generating tax revenues. tax law is designed not only to bring revenues into a state’s coffers but also to incentivize or disincentivize certain behaviours (canada trustco mortgage co v. canada, 2005 scc 54, [2005] 2 scr 601, at para. 53). indeed, in agreeing to include the carve-out in the treaty, canada sought to encourage investments by luxembourg residents in business assets embodied in immovable property located in canada (eg. mines, hotels, or oil shales) and to reap the ensuing economic benefits. this incentive was never intended to be limited to luxembourg residents with “sufficient substantive economic connections” to luxembourg. internationally, residency typically does not depend on the existence of such connections; formal criteria for residency are just as well accepted as factual criteria. in this case, alta luxembourg made exactly such an investment it is a resident of luxembourg and, as such, is exempt from canadian taxes on the capital gain realized on the disposition of shares of its wholly owned canadian subsidiary. in my respectful view, my colleagues rowe and martin jj. undertake their analysis as though the treaty were a simple statute rather than a freely negotiated bargain whose interpretation must reflect the intentions of the parties that drafted it. canada understood that it was dealing with a low-tax jurisdiction, and, in recognition of this reality, it agreed to specific terms in the treaty, such as the business property exemption in this way, canada effectively agreed to give up its right to tax certain entities incorporated in luxembourg in exchange for the jobs and economic opportunities that the business property exemption would promote. this decision can hardly be questioned. in raising the gaar, canada is now seeking to revisit its bargain in order to secure both foreign investments and tax revenues. but if the gaar is to remain a robust tool, it cannot be used to judicially amend or renegotiate a treaty. for the reasons that follow, i agree with the courts below that the minister has not discharged her burden of proving abusive tax avoidance. therefore, i would dismiss the appeal. ii background in april 2011, alta resources llc, a texas-based oil and gas firm, and blackstone group lp (“blackstone”), a new york-based private equity firm, founded alta energy partners, llc, a delaware limited liability company, for the purpose of acquiring and developing unconventional oil and natural gas properties in north america one such property was the duvernay shale formation in northwestern alberta. alta energy partners canada ltd. (“alta canada”), a wholly owned canadian subsidiary of the delaware limited liability company, was incorporated in order to carry on that business. alta canada invested almost $300 million in its canadian business through its acquisition of the oil and natural gas drill and recovery rights in certain lands in alberta. a restructuring of alta canada was undertaken in 2012 as part of the restructuring, alta luxembourg was incorporated under the laws of luxembourg to hold interests in luxembourg and foreign companies prior to the restructuring, blackstone’s counsel obtained a ruling from the luxembourg tax authorities that the restructuring was in compliance with tax legislation and administrative policies in luxembourg the shares of alta luxembourg were issued to a new canadian partnership formed in alberta, alta energy canada partnership (“partnership”). on the same day, the delaware limited liability company sold all of its shares of alta canada to alta luxembourg. this was a taxable transaction in canada under the act, as more than 50 percent of the value of the shares was derived from canadian resource properties. in august 2013, alta luxembourg agreed to sell its shares of alta canada to chevron canada ltd when the sale closed on september 10, 2013, for $679,712,251.45, alta luxembourg realized a capital gain in excess of $380 million on the disposition pursuant to a direction to pay, alta luxembourg directed its proceeds from the sale (less an amount paid to the minister) to the partnership in exchange, the partnership issued promissory notes to alta luxembourg, which were set off, in part, by an existing interest-free loan and profit-participating loan. in other words, alta luxembourg did not receive any of the sale proceeds following the disposition of its shares of alta canada, alta luxembourg did not conduct any other business or hold any other investments. all tax was reported. alta luxembourg’s capital gain was reported to the luxembourg tax authorities and was subject to full taxation by them under their domestic laws. in its canadian tax return filed for the 2013 taxation year, alta luxembourg claimed an exemption from canadian tax on the basis that the gain was not included in its “taxable income earned in canada” under s 115(1)(b) of the act because the shares were “treaty-protected property” under art. 13(4) and (5) of the treaty these provisions create a carve-out for residents of luxembourg from canadian tax arising from a capital gain on the alienation of “shares . . . the value of which . . . is derived principally from immovable property situated in [canada]” and “in which the business of the company . . . was carried on” (art. 13(4) of the treaty). the minister denied the treaty exemption, and alta luxembourg appealed to the tax court of canada. in their lengthy statement of agreed facts, the parties make important concessions. first and foremost, the minister agrees that alta luxembourg is a resident of luxembourg for the purposes of the treaty. the minister and alta luxembourg also agree that alta canada was a “principal business corporation” pursuant to s 66(15) of the act, that its shares were taxable canadian property within the meaning of s 248(1) of the act and that the series of restructuring transactions and the sale of the shares of alta canada to chevron were an “avoidance transaction” as defined in s 245(3) of the act. iii. judicial history a. tax court of canada, 2018 tcc 152, [2019] 5 ctc 2183 (hogan j.) before the tax court, the minister raised two arguments first, the minister argued that alta canada did not carry on business in the immovable property in question, such that the business property exemption in art. 13(4) of the treaty did not apply. in the alternative, if the shares did qualify as treaty-protected property, the minister argued that the gaar should apply. hogan j found that alta canada carried on business in the immovable property; therefore, the carve-out in art. 13(4) applied, and alta canada’s shares were treaty-protected property for the purposes of the act. with respect to the gaar, the parties agreed that the restructuring was an avoidance transaction that resulted in a tax benefit. thus, the tax court had to determine if the gaar applied, that is, whether the avoidance transaction resulted in a misuse or abuse of the provisions of the act or the treaty. with respect to the abuse analysis under the gaar, hogan j held that the avoidance transaction did not result in an abuse of ss. 2(3), 38, 39, 115(1)(b) and 248(1) of the act, or of the act as a whole. in his view, the provisions of the act had operated in the manner intended by parliament. without citing this court’s decision in canada trustco, hogan j followed the two-step approach it established, acknowledging that a tax treaty, as an international convention, should be given a liberal interpretation with a view to implementing the true intention of the parties. hogan j conducted a textual, contextual, and purposive analysis of arts. 1, 4 and 13 of the treaty and held that their rationale is “to exempt residents of luxembourg from canadian taxation where there is an investment in immovable property used in a business” (para. 100). he relied in part on the 2017 oecd model treaty, on which the treaty is modeled, and its commentaries as interpretive aids. he observed that the business property exemption in art. 13(4) of the treaty does not exist in the oecd model treaty, which demonstrates an intention to depart from the model treaty in order to attract foreign investment in business property situated in canada. despite the minister’s objections, hogan j found nothing improper about alta luxembourg, a single-purpose holding corporation resident in luxembourg, availing itself of the benefits of the treaty. in his view, the minister was seeking to achieve through the courts the same result with the gaar as was intended by the minister of finance’s proposed rule against tax treaty shopping, but the gaar could not be used in this way. hogan j held that the overall result of the transaction was not contrary to the rationale of arts. 1, 4 and 13 because the “significant investments of [alta luxembourg] to de-risk the duvernay shale constitute an investment in immovable property used in a business” (para. 100). therefore, the gaar did not preclude alta luxembourg from claiming the exemption provided for in art. 13(5) of the treaty, and the matter was referred back to the minister for reconsideration and reassessment. b federal court of appeal, 2020 fca 43, [2020] 5 ctc 193 (webb, near and locke jja). the minister did not appeal the tax court’s finding that alta luxembourg satisfied the requirements for the business property exemption thus, the sole issue before the federal court of appeal was whether the gaar applied because of an abuse of the act or the treaty. webb ja, writing for a unanimous court, dismissed the appeal in his analysis of the object, spirit, and purpose of the relevant provisions, webb ja noted that most of the minister’s submissions were in reference to general principles and failed to identify any clear rationale for the provisions at issue: arts. 1, 4 and 13(4) of the treaty. relying on r v. mil (investments) sa, 2007 fca 236, [2007] 4 ctc. 235, webb ja concluded “that the object, spirit and purpose of the relevant provisions of the [treaty] is reflected in the words as chosen by canada and luxembourg. since the provisions operated as they were intended to operate, there was no abuse” (para. 80) he also determined that commentaries on the oecd model treaty published subsequently to the signature and ratification of the treaty were “of little assistance in determining the rationale for the exemption” (para. 36). in addition to finding that the minister had failed to identify any clear rationale for arts. 1, 4 and 13(4) of the treaty, webb ja found that the minister’s five further submissions did not withstand scrutiny, as they all added qualifications to or modified the words of the treaty. the minister’s submissions changed the identity of who would qualify for the exemption from “residents” to “investors” and added the qualification that an “entity” had to have the potential to earn income in luxembourg in order to be considered a resident of luxembourg. in webb ja’s view, the fact that the net effect of the profit-participating loan was that alta luxembourg never realized taxable income in luxembourg “is a matter for the luxembourg tax authorities” (para. 57) additionally, there was no underlying requirement that the exemption benefit only persons with commercial or economic ties to luxembourg, nor was the residence of the partners of alta luxembourg’s sole shareholder relevant to the analysis. he found that these qualifications were not included in the exemption in the treaty, even though they could easily have been added. webb ja declined to find that treaty shopping is abusive, agreeing with the tax court judge in mil (investments) sa v. r., 2006 tcc 460, [2006] 5 ctc. 2552 (“mil (tcc)”), at para. 69, that “[t]here is nothing inherently proper or improper with selecting one foreign regime over another” and that, though “the selection of a low tax jurisdiction may speak persuasively as evidence of a tax purpose for an alleged avoidance transaction, . . . the shopping or selection of a treaty to minimize tax on its own cannot be viewed as being abusive”. in short, webb j.a found that “the object, spirit and purpose of the relevant provisions of the [treaty] is reflected in the words as chosen by canada and luxembourg since the provisions [had] operated as they were intended to operate, there was no abuse” (para. 80). the appeal was therefore dismissed. iv. issues the minister has accepted that alta luxembourg is a resident of luxembourg for the purposes of the treaty and that a business was being carried on in the immovable property in question. furthermore, alta luxembourg has admitted the existence of a tax benefit and an avoidance transaction. therefore, the only element in dispute is the abusive nature of the transaction, which raises the following issues: a) what are the object, spirit, and purpose of the relevant provisions of the treaty? b) did the courts below err in concluding that the avoidance transaction in this case did not result in an abuse of those provisions? v analysis a general anti-avoidance rule (“gaar”) like all statutes, tax legislation must be interpreted by conducting a “textual, contextual and purposive analysis to find a meaning that is harmonious with the act as a whole” (canada trustco, at para. 10). however, where tax provisions are drafted with “particularity and detail”, a largely textual interpretation is appropriate in light of the well-accepted duke of westminster principle that “taxpayers are entitled to arrange their affairs to minimize the amount of tax payable” (canada trustco, at para. 11, citing commissioners of inland revenue v. duke of westminster, [1936] ac. 1 (hl)). this principle, derived from the rule of law, has been deemed the “foundation stone of canadian law on tax avoidance” (b. j. arnold, “reflections on the relationship between statutory interpretation and tax avoidance” (2001), 49 can. tax j 1, at p 3). this established principle was affected by the enactment of s 245 of the act, also known as the gaar, which “superimposed a prohibition on abusive tax avoidance, with the effect that the literal application of provisions of the act may be seen as abusive in light of their context and purpose” (canada trustco, at para. 1). thus, if the minister can establish abusive tax avoidance under the gaar, s 245 of the act will apply to deny the tax benefit even where the tax arrangements are consistent with a literal interpretation of the relevant provisions (copthorne holdings ltd v. canada, 2011 scc 63, [2011] 3 scr 721, at para. 66). the gaar applies both to the abuse of provisions found in the act and to the abuse of provisions found in a tax treaty (s 245(4)(a)(i) and (iv) of the act; s 4.1 of the income tax conventions interpretation act, rsc 1985, c. i-4). applying the gaar involves a three-part process meant to determine: (1) whether there is a tax benefit arising from a transaction; (2) whether the transaction is an avoidance transaction; and (3) whether the avoidance transaction is abusive (canada trustco, at para. 17). as mentioned above, the third part is the only one in issue before this court. to determine whether a transaction is abusive, this court has set out a two-step inquiry (canada trustco, at paras. 44 and 55). under the first step, the provisions relied on for the tax benefit are interpreted to determine their object, spirit, and purpose the second step is to undertake a factual analysis to determine whether the avoidance transaction at issue is consistent with or frustrates the object, spirit, and purpose of the provisions. the onus rests on the minister to demonstrate the object, spirit, and purpose of the relevant provisions and to establish that allowing alta luxembourg the benefit of the exemption would be a misuse or an abuse of the provisions (canada trustco, at para. 65). abusive tax avoidance occurs “when a taxpayer relies on specific provisions of the income tax act in order to achieve an outcome that those provisions seek to prevent” or when a transaction “defeats the underlying rationale of the provisions that are relied upon” (canada trustco, at paras. 45; see also para. 57; lipson v. canada, 2009 scc 1, [2009] 1 scr 3, at para. 40) abusive tax avoidance can also occur when an arrangement “circumvents the application of certain provisions, such as specific anti-avoidance rules, in a manner that frustrates or defeats the object, spirit or purpose of those provisions” (para. 45). canada trustco recognized that the line between legitimate tax minimization and abusive tax avoidance is “far from bright” (para. 16) as a result, “[i]f the existence of abusive tax avoidance is unclear, the benefit of the doubt goes to the taxpayer” (canada trustco, at para. 66; see also copthorne, at para. 72). b. international tax treaties (1) general principles in r v. melford developments inc., [1982] 2 scr 504, at p 513, this court applied the principle that tax treaties do not themselves levy new taxes, they simply authorize the contracting parties to do so. reciprocity is a fundamental principle underlying tax treaties, as they confer rights and impose obligations on each of the contracting states hogan j observed that “[p]arties to a tax treaty are presumed to know the other country’s tax system when they negotiate a tax treaty; they are presumed to know the tax consequences of a tax treaty when they negotiate amendments to that treaty” (para. 84). this only makes sense. the objective of tax treaties, broadly stated, is to govern the interactions between national tax laws in order to facilitate cross-border trade and investment. one of the most important operational goals is the elimination of double taxation, where the same source of income is taxed by two or more states without any relief if left unchecked, double taxation risks creating barriers to international trade and investment, which are vital in a globalized economy thus, many substantive provisions of the oecd model treaty, a model for numerous bilateral tax treaties, are directed to achieving this goal and resolving conflicting claims between residence-based taxation and source-based taxation. another important consideration is the dual nature — contractual and statutory — of tax treaties. consideration of the contractual element is crucial to the application of the gaar because it focuses the analysis on whether the particular tax planning strategy is consistent with the compromises reached by the contracting states. as noted by international tax law scholars jinyan li and arthur cockfield: whether the particular outcome of tax planning is defensible may depend on the understanding of the “bargain” struck by the two treaty partner countries. every dispute involving the application of a tax treaty needs to ask the question of whether and how one treaty partner can dispute or should be allowed to upset the “bargain” struck in its own national interest that inheres in the treaty “contract” despite the offence that one treaty partner may take, in retrospect, to how a treaty provision is applied, the question remains: might the particular outcome be one that the other treaty partner foresaw or reflect the “contractual intention” of the other treaty partner? after all, the “bargain” was entered into by the parties out of mutual self-interest this is particularly relevant in applying general anti-avoidance rules. [emphasis added.] (j. li and a. cockfield, with j. s. wilkie, international taxation in canada: principles and practices (4th ed. 2018), at p 376) as tax treaties are treaties, their interpretation is governed by the vienna convention on the law of treaties, can. ts 1980 no. 37 (“vienna convention”), but the methodology prescribed is not radically different from the modern principle applicable to domestic statutes in canada — that is, one must consider the ordinary meaning of the text in its context and in light of its purpose (art. 31(1) of the vienna convention; crown forest industries ltd. v. canada, [1995] 2 scr 802, at para. 43; stubart investments ltd v the queen, [1984] 1 scr 536, at p 578) however, unlike statutes, treaties must be interpreted “with a view to implementing the true intentions of the parties” (j. n. gladden estate v the queen, [1985] 1 ctc 163 (fctd), at p 166, quoted approvingly in crown forest, at para. 43). the national self-interest of each contracting state must be reconciled in the interpretive process in order to give full effect to the bargain codified by the treaty. this principle applies with equal force where a court is engaged in the process of ascertaining a treaty’s “object, spirit, and purpose” as part of the gaar framework. (2) oecd commentaries as interpretative aids article 31 of the vienna convention permits courts to consider contextual factors such as other agreements and instruments made by parties in connection with a treaty. in my view, the oecd model treaty and its commentaries are relevant to the interpretation of treaties based on that model. the introduction to the oecd model treaty indicates that the commentaries “can . . . be of great assistance in the application and interpretation of the conventions and, in particular, in the settlement of any disputes”, and this court has affirmed the “high persuasive value” of the oecd model treaty and its commentaries (“introduction” to the oecd model treaty (1998, 2003 and 2017), at para. 29; crown forest, at para. 55; see also d. a. ward, “principles to be applied in interpreting tax treaties” (1977), 25 can tax j 263, at p 268). however, the relevance of commentaries released subsequent to the signing of a treaty is disputed (see, eg, “introduction” to the oecd model treaty (1998, 2003 and 2017), at para. 35; mil (tcc), at para. 83; cudd pressure control inc. v. r., [1999] 1 ctc. 1 (fca), at para. 28, per mcdonald ja;. sa andritz, no. 233894, conseil d’état (section du contentieux), december 30, 2003 (france); li and cockfield, at p 57). in the instant case, the minister relies on revisions to the commentaries on the oecd model treaty that were published in 2003 and 2017, several years after canada and luxembourg negotiated the treaty in the 2003 commentaries, treaty shopping is characterized as an abuse of the concept of residence, whereas previous commentaries published at the time the treaty was signed were silent on this question. a revision to the 2017 commentaries, made in connection with the addition of a new art. 29 to the oecd model treaty, provides that legal residency alone is not an automatic entitlement to all benefits under a tax treaty. while revisions to the commentaries are relevant to tax treaty interpretation, the key issue is the weight that they should receive although some scholars submit that the oecd has a tendency of revising the commentaries too often and too dramatically, thereby sometimes diverging from the original intentions of the parties, i am not prepared to reject all subsequent commentaries as interpretative aids (see li and cockfield, at p 57; p. malherbe, elements of international income taxation (2015), at pp. 49-50). i instead prefer the nuanced approach adopted by the federal court of appeal in prévost car inc. v. canada, 2009 fca 57, [2010] 2 fcr. 65. indeed, in prévost car, the federal court of appeal held that subsequent commentaries expanding or clarifying notions already captured by the oecd model treaty are relevant, but not those that extend the scope of provisions in a manner that could not have been considered by the drafters (paras. 10-12; see also li and cockfield, at p 57). thus, while later amendments to the commentaries are not part of the context as defined in art. 31(2) of the vienna convention, given that such amendments were not made “in connexion with the conclusion of the treaty”, they may play a role under art. 31(3), which refers to “[a]ny subsequent agreement between the parties regarding the interpretation of the treaty or the application of its provisions” and “[a]ny subsequent practice in the application of the treaty which establishes the agreement of the parties regarding its interpretation”. in this case, i am of the view that the 2003 and 2017 commentaries do not reflect the intentions of the drafters of the treaty. the extensive revisions made to the commentaries in 2003 purported to clarify the relationship between tax treaties and domestic anti-avoidance rules, and, in particular, one of the revisions was made to include the prevention of tax avoidance as a purpose of such treaties. the changes were not mere clarifications and have been described as being “created out of thin air by the oecd in 2003” and as “a significant change in the stated attitude of the oecd to the relationship between tax treaties and tax avoidance” (b. j. arnold, “tax treaties and tax avoidance: the 2003 revisions to the commentary to the oecd model” (2004), 58 ibfd. bulletin 244, at pp. 249 and 260). using the federal court of appeal’s language in prévost car (at para. 12), the 2003 commentaries do not elicit, but rather contradict, the views previously expressed. when canada and luxembourg signed the treaty in 1999, the applicable commentaries indicated that anti-abuse measures, to be effective, had to be included in a treaty (“commentary on article 1” of the 1998 oecd model treaty, at para. 21). further, they referred to the principle of pacta sunt servanda, which supports the position that where nothing in a treaty speaks directly to fiscal avoidance, there is a strong argument that the treaty partners negotiated the treaty not intending such rules to apply (“commentary on article 1” of the 1998 oecd model treaty, at paras. 11-26; d. a. ward et al., the interpretation of income tax treaties with particular reference to the commentaries on the oecd model (2005), at pp. 91-92). moreover, interpreting art. 1 of the treaty with reference to the 2003 commentaries would overlook luxembourg’s registered observation on the “commentary on article 1” of the 2003 oecd model treaty. that observation reads as follows: luxembourg does not share the interpretation in paragraphs 9.2, 22.1 and 23 which provide that there is generally no conflict between anti-abuse provisions of the domestic law of a contracting state and the provisions of its tax conventions absent an express provision in the convention, luxembourg therefore believes that a state can only apply its domestic anti-abuse provisions in specific cases after recourse to the mutual agreement procedure. [para. 27.6] in effect, even if the minister were able to rely on the commentaries postdating the treaty, they would be of no assistance because luxembourg’s observation expresses disagreement with the “commentary on article 1” of the oecd model treaty, which includes the anti-abuse commentary (ward et al., at p 64; “commentary on article 1” of the 2003 oecd model treaty, at p 7). it follows, then, that in the interpretation of art. 1 of the treaty, commentaries on art. 1 of the oecd model treaty that postdate the treaty cannot be relied on to introduce terms that modify the treaty. not only would this effectively amend the treaty in a manner not agreed upon by the parties, but it would also usurp the role of the governor in council by allowing for judicial amendment of bilateral treaties against the expressed wishes of the contracting states. c cautionary preface to the gaar analysis before i proceed, it is important to sound some notes of caution. first and foremost, tax avoidance is not tax evasion, and there is no suggestion by either party that the transaction in this case was evasive. in addition, tax avoidance should not be conflated with abuse. even if a transaction was designed for a tax avoidance purpose and not for a bona fide non-tax purpose, such as an economic or commercial purpose, it does not mean that it is necessarily abusive within the meaning of the gaar (canada trustco, at paras. 36 and 57; see also lipson, at para. 38). the purpose of a transaction is relevant mainly to characterize it as either an avoidance transaction or a bona fide transaction and, specifically, to assess the abusive nature of the transaction in their factual analysis, courts may consider whether an avoidance transaction was “motivated by any economic, commercial, family or other non-tax purpose” (canada trustco, at para. 58). however, a finding that a bona fide non-tax purpose is lacking, taken alone, should not be considered conclusive evidence of abusive tax avoidance. justices rowe and martin are taking exactly that approach, and it colours their entire analysis moreover, such a finding should not be allowed to impair the proper interpretation of the relevant provisions in a manner that makes substantive economic connections or the presence of a bona fide non-tax purpose a condition precedent to every tax benefit; the goal is to ensure the relevant provisions are properly interpreted in light of their context and purpose (canada trustco, at para. 62). second, it is also important to distinguish what is immoral from what is abusive. it is true, as reiterated in copthorne, that the gaar is a legislative measure by which “parliament has conferred on the court the unusual duty of going behind the words of the legislation to determine the object, spirit or purpose of the provision or provisions relied upon by the taxpayer” (para. 66). but, in copthorne, rothstein j was quick to note the limits to that legislative mandate. in contrast to what my colleagues are proposing, rothstein j observed that courts should not infuse the abuse analysis with “a value judgment of what is right or wrong nor with theories about what tax law ought to be or ought to do” (para. 70). taxpayers are allowed to minimize their tax liability to the full extent of the law and to engage in “creative” tax avoidance planning, insofar as it is not abusive within the meaning of the gaar (para. 65). therefore, even though one may consider treaty shopping in tax havens to be immoral, this is not determinative of a finding of abuse. finally, the abuse analysis is not meant to be a “search for an overriding policy of the act that is not based on a unified, textual, contextual and purposive interpretation of the specific provisions in issue” (canada trustco, at para. 41). the focus of the interpretation is on the object, spirit, and purpose of the specific provisions and not on the broader policy objective of the act or of a particular tax treaty. therefore, policy objectives such as “avoiding double taxation” and “encouraging trade and investment” that are found in bilateral tax treaties cannot be invoked to override the wording of the provisions in issue. d first step: object, spirit, and purpose of the relevant provisions as mentioned above, the first step of the abuse analysis is to ascertain the object, spirit, and purpose of the relevant provisions. because this is a question of treaty interpretation, however, this must be done with a view to implementing the true intentions of the parties. this is a question of law and the analysis of this first step is therefore subject to the correctness standard (canada trustco, at para. 44). the minister’s submissions centre on an alleged abuse by alta luxembourg of arts. 1, 4(1) and 13(4) and (5) of the treaty. i analyze these provisions in two separate groups for the purposes of the first step: first, arts. 1 and 4(1), which pertain to resident status; and second, art. 13(4) and (5), under which the right to tax the capital gain at issue is allocated to the residence state. (1) residence (arts. 1 and 4(1)) residence is at the core of bilateral tax treaties, given that access to treaty benefits is normally reserved to persons residing in one or both of the contracting states. the text of arts. 1 and 4(1) of the treaty also makes residence central to the application of the treaty. indeed, the residency requirement established in art. 1 of the treaty is modeled on the oecd model treaty: this convention shall apply to persons who are residents of one or both of the contracting states. article 4(1) elaborates on the definition of “residence” under the treaty: for the purposes of this convention, the term “resident of a contracting state” means any person who, under the laws of that state, is liable to tax therein by reason of that person’s domicile, residence, place of management or any other criterion of a similar nature this term also includes a contracting state or a political subdivision or local authority thereof or any agency or instrumentality of any such state, subdivision or authority. this term, however, does not include any person who is liable to tax in that state in respect only of income from sources in that state. according to this provision, a resident under the treaty is a person who is liable to tax in one or both of the contracting states (canada and luxembourg) by reason of one of the connecting factors listed (ie domicile, residence, place of management or another similar criterion) (see crown forest, at paras. 23-25). i also note that the use of the word “means” in this provision indicates that the definition should be “construed as comprehending that which is specifically described or defined” and thus as setting out all requirements that must be met to be considered a resident under the treaty (r v. hauser, [1979] 1 scr 984, at p 1009, per dickson j.; see also r v. mcleod (1950), 97 ccc 366 (bcca), at pp. 371-72, quoting dilworth v. commissioner of stamps, [1899] ac 99 (pc), at pp. 105-6). in the context of corporations, the “liable to tax” requirement is met under the treaty where the domestic law of a contracting state exposes the corporation to full tax liability on its worldwide income because it has its residence in that state (see crown forest, at paras. 40 and 45). liability to full taxation is established by the nexus between that state and the corporation’s resident status. the “liable to tax” requirement is often described in terms that may perhaps appear misleading, such as “comprehensive taxation” or “full liability to tax”. these terms convey the idea that residents enjoying tax holidays may be more suspicious than others in reality, this requirement is not concerned with whether the person claiming benefits is in fact subject to taxation. being liable to tax is better understood as being “liable to be liable to tax”, meaning that taxes are a possibility, regardless of whether the person actually pays any (r. couzin, corporate residence and international taxation (2002), at p 107; see also pp. 106 and 111). therefore, corporate residents enjoying certain tax holidays, for example on capital gains, do not automatically lose their resident status under the treaty because they are not subject to every possible form of taxation (couzin, at pp. 110-11 and 150) this can be contrasted with fiscally transparent vehicles like partnerships that are not exempted from taxation but, rather, are not exposed to tax at all, as their income is taxed in the partners’ hands instead. aside from the “liable to tax” requirement, the purpose of art. 4(1) is not to establish specific standards for defining residence. this provision expressly states that residence is to be defined by the laws of the contracting state of which the person claims to be a resident. this provision of the treaty is modeled almost word for word on art. 4(1) of the 1998 oecd model treaty, whose commentary also made it clear that the intention was to leave the core definition of residence to domestic law, not to bilateral tax treaties: conventions for the avoidance of double taxation do not normally concern themselves with the domestic laws of the contracting states laying down the conditions under which a person is to be treated fiscally as “resident” and, consequently, is fully liable to tax in that state. they do not lay down standards which the provisions of the domestic laws on “residence” have to fulfil in order that claims for full tax liability can be accepted between the contracting states in this respect the states take their stand entirely on the domestic laws. [emphasis added.] (“commentary on article 4” of the 1998 oecd model treaty, at para. 4) consideration of the context of the treaty confirms this intention expressed in the commentary indeed, this preference for leaving the meaning of residence to domestic law is totally consistent with the scheme of the treaty. most terms found in the treaty are defined under domestic law and not by the treaty itself. as emphasized by professor arnold, “[b]ecause the language of tax treaties is broad and general, it seems inevitable that recourse must be had to the domestic laws of the contracting states in order to provide flesh for the bare bones of the treaty” (b. j. arnold, reforming canada’s international tax system: toward coherence and simplicity (2009), at p 325). although the treaty does define residence in art. 4 and some other terms in arts. 3(1), 5, and 6(2), these definitions are far from exhaustive in fact, the list of defined terms is rather scant, and important concepts, such as “business” and “profits”, take their meaning directly from domestic law. the importance of domestic law as a source of substantive content for the application of the treaty is expressly spelled out in art. 3(2): as regards the application of the convention at any time by a contracting state, any term not defined therein shall, unless the context otherwise requires, have the meaning that it has at that time under the law of that state for the purposes of the taxes to which the convention applies, any meaning under the applicable tax laws of that state prevailing over a meaning given to the term under other laws of that state. despite the clear pronouncement made in the commentary above and the well-established preference for leaving important definitions to domestic law, and despite her admission that alta luxembourg is a resident of luxembourg, the minister argues that meeting the definition of resident under domestic law is not sufficient to qualify as a resident under the treaty. according to the minister, the benefits of the treaty “are intended to be available only to persons who have sufficient substantive economic connections” to their state of residence (af, at para. 100 (emphasis added)). mere formalistic or legal attachment to their state of residence would thus be insufficient. it is worth noting that the words “sufficient substantive economic connections” are conspicuous by their absence in the text of both arts. 1 and 4. although the gaar invites courts to go beyond the text to understand the object, spirit, and purpose of the provisions, there are limits to this exercise, especially when attempting to discern the intent of bilateral treaty partners. in the face of a complete absence of express words, the inclusion of an unexpressed condition must be approached with circumspection it must be remembered that the text also plays an important role in ascertaining the purpose of a provision. the proper approach is one that unifies the text, context, and purpose, not a purposive one in search of a vague policy objective disconnected from the text (canada trustco, at para. 41). nonetheless, i acknowledge that treaty partners do not have the unfettered liberty to alter or redefine residence as they wish for the purposes of a tax treaty. the broader context of international tax law and the law of treaties helps to understand what was within the contemplation of canada and luxembourg when they drafted arts. 1 and 4(1) of the treaty. pursuant to the principle of pacta sunt servanda, parties to a treaty must keep their sides of the bargain and perform their obligations in good faith (art. 26 of the vienna convention) domestic law definitions of residence should therefore broadly correspond to international norms and not have the effect of redefining residence in a way “that takes the words unmistakably past their accepted usage” (couzin, at p 136), including the definitions of residence that were in effect in the two states at the time the treaty was drafted. i pause here to observe that the definition of residence in luxembourg law is consistent with international practice. broadly speaking, there are two internationally recognized methods used to determine corporate residency: (1) the “place of incorporation” or “legal seat” rule, pursuant to which residence is determined by a purely formal criterion, that is, where the corporation was incorporated or has its legal seat; and (2) the “real seat” rule, pursuant to which residence depends on a combination of factual factors aimed at identifying the corporation’s place of effective management (r. s. avi-yonah, n. sartori and o. marian, global perspectives on income taxation law (2011), at p 130, quoting m. a. kane and e. b. rock, “corporate taxation and international charter competition” (2008), 106 mich l rev 1229, at p 1235). luxembourg law grants resident status to corporations having either their legal seat or their central management in luxembourg — two criteria consistent with these methods (statement of agreed facts, ar, vol. ii, at p 28, para. 122; opinion on the luxembourg tax residence of the company, ar, vol. vii, at pp. 5 and 7, paras. 7.2 and 821). in the instant case, the parties agree that alta luxembourg is a resident of luxembourg as its legal seat is located there (statement of agreed facts, ar, vol. ii, at p 28, para. 122). interestingly, the “sufficient substantive economic connections” rationale put forward by the minister bears similarities to the “real seat” rule emphasizing substance over form and seemingly rejects a formal, legalistic rule like the “place of incorporation” or “legal seat” rule. thus, i understand the minister’s submissions as suggesting that establishing residence merely on the basis of a formal criterion is insufficient to conform to the spirit of the rules of residence under the treaty. something more would be needed: some real connections to the country of residence. what the minister’s submissions overlook, however, is that many of the world’s most developed economies — including canada itself — accept and apply the “place of incorporation” or “legal seat” rule (avi-yonah, sartori and marian, pp. 130 and 133-34; see s 250(4)(a) of the act). although a formal criterion may sometimes be unable to capture the real location of a corporation’s economic activities, it nevertheless became widespread internationally because of its certainty and simplicity, considerations that are vital to a well-functioning tax system based on the rule of law and the duke of westminster principle (li and cockfield, at p 77) hence, the definition in luxembourg law does not depart from accepted usage such that the bargain struck in the treaty could be upheld only if luxembourg residents claiming benefits have “sufficient substantive economic connections” to their country of residence. given this broad international acceptance of formal residency, if the drafters had truly intended to include only corporations with “sufficient substantive economic connections” to their country of residence within the scope of the treaty, they would have clearly signalled their intention to depart from a well-established criterion like the “place of incorporation” or “legal seat” rule. they would not have simply incorporated arts. 1 and 4(1) of the oecd model treaty, which reflect an international consensus, with no alteration. this indicates, in my view, that the object of arts. 1 and 4(1) is not to exclude all corporations with minimal economic connections to their country of residence, such as those whose residence is established solely on the basis of a formal, legal attachment. access to the benefits of the treaty by virtue of a domestic law definition of residence like the “legal seat” rule is therefore entirely consistent with the spirit of these provisions. another contextual element further reinforces my opinion that the purpose of arts. 1 and 4 is not to reserve benefits to corporations with “sufficient substantive economic connections” to their country of residence: the inclusion of art. 28(3) in the treaty, which denies benefits to certain luxembourg holding companies the “commentary on article 1” of the 1998 oecd model treaty specifically warned against the use of conduit companies, that is, “legal entit[ies] created in a state essentially to obtain treaty benefits that would not be available directly” (para. 9). several solutions were proposed in the commentary, but “no definitive texts [were] drafted” and “no strict recommendations [were] made” (para. 12) oecd members were left to choose which solution suited them. chief among these solutions were the “look-through” approach and the exclusion approach a “look-through” provision disallows treaty benefits to corporations that are resident in a contracting state but owned by residents of a third country (para. 13). when combined with a provision safeguarding bona fide business activities, a provision of this type has the effect of allowing treaty benefits to corporations owned by residents of a third country that conduct bona fide business activities in the contracting state of which they claim to be residents, while excluding those conducting “little substantive business activities” there (para. 14). the exclusion approach denies treaty benefits to certain types of companies enjoying special tax privileges that constitute harmful tax competition (para. 15). the main advantage of the exclusion approach over the “look-through” one is its clarity and simplicity (para. 16) it does not require an assessment of the substantive nature of business activities to determine whether they are bona fide or not, unlike the “look-through” approach or the approach focusing on the existence of “sufficient substantive economic connections” invoked by the minister. at the time of the treaty, luxembourg was well known as an international tax haven exempting certain holding companies from most taxes, provided they had no direct presence in the local economy (see grundy’s tax havens: a world survey (4th ed. 1983), at pp. 2 and 157-64; w. h. diamond et al., tax havens of the world (loose-leaf), vol. 2, ch. luxembourg, at pp. 5-6). to deny the benefits of the treaty to such holding companies with minimal economic connections to luxembourg, canada and luxembourg preferred the exclusion approach over the “look-through” approach. indeed, the two contracting states did not insert a “look-through” provision combined with a safeguarding provision, as canada did in the treaties it entered into during the same period with kazakhstan (1996) and peru (2001) (art. 28(3) of the convention between the government of canada and the government of the republic of kazakhstan for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can ts 1998 no. 13; art. 28(3) of the convention between the government of canada and the government of the republic of peru for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 2002 no. 23). canada and luxembourg included instead a provision denying the benefits of the treaty to certain holding companies established in luxembourg, that is, art. 28(3): the convention shall not apply to holding companies within the meaning of the special luxembourg laws (currently the act of july 31, 1929 and the grand duchy order of december 17, 1938) or any other similar law enacted in luxembourg after the signature of the convention, nor to companies subjected to similar fiscal laws in luxembourg. pursuant to the principle of implied exclusion, this choice made by the parties in favour of the exclusion approach — one that favours form over substance — should be understood as a rejection of the relevance of economic ties for delineating which corporations should be entitled to benefits and which should not. this leads me to conclude that the drafters intended to exclude a corporation with minimal economic connections to one of the contracting states only where the corporation is a holding company benefiting from luxembourg’s international tax haven regime in light of this clear intention to reject only luxembourg holding companies and not every company with limited economic ties to its country of residence, i am even more persuaded that the spirit of arts. 1 and 4(1) was not to limit access to the benefits of the treaty to corporations with “sufficient substantive economic connections” to their country of residence. in sum, the object, spirit, and purpose of arts. 1 and 4(1) are to allow all persons who are residents under the laws of one or both of the contracting states to claim benefits under the treaty so long as their resident status could expose them to full tax liability (regardless of whether there is actual taxation) they are broadly consistent with international norms. this is normally the case for corporations that are residents by virtue of the “place of incorporation” or “legal seat” rule, unless they fall within the exclusion provided for in art. 28(3). as a result, i conclude that the spirit of these provisions is not to reserve the benefits of the treaty to residents that have “sufficient substantive economic connections” to their country of residence. (2) carve-out from source-based capital gains tax (“business property exemption”) (art. 13(4) and (5)) the carve-out from source-based capital gains tax, also called the business property exemption, is provided for in art. 13(4) and (5). these provisions create an exception to source-based taxation for capital gains derived from the alienation of shares deriving their value principally from immovable property used in a corporation’s business and allocate to the residence state the exclusive right to tax such capital gains: article 13 capital gains . 4 gains derived by a resident of a contracting state from the alienation of: (a) shares (other than shares listed on an approved stock exchange in the other contracting state) forming part of a substantial interest in the capital stock of a company the value of which shares is derived principally from immovable property situated in that other state; or (b) an interest in a partnership, trust or estate, the value of which is derived principally from immovable property situated in that other state, may be taxed in that other state. for the purposes of this paragraph, the term “immovable property” does not include property (other than rental property) in which the business of the company, partnership, trust or estate was carried on; and a substantial interest exists when the resident and persons related thereto own 10 per cent or more of the shares of any class or the capital stock of a company. 5 gains from the alienation of any property, other than that referred to in paragraphs 1 to 4 shall be taxable only in the contracting state of which the alienator is a resident. with respect to the object, spirit, and purpose of art. 13(4) and (5), the crux of the minister’s argument turns on the theory of economic allegiance. in accordance with this theory, the minister submits that the provisions of the treaty distributing taxing rights seek to avoid double taxation by allocating these rights to the contracting state to which the income and the taxpayer are more closely connected. according to the minister, the carve-out provided for in art. 13(4) exempts the capital gains at issue from source-based taxation because the taxpayer’s economic connection to the state of residence outweighs the connection between the source state and the immovable property the connection with the residence state is considered greater, for that state is said to provide the benefits that allow its residents to earn such capital gains (eg economy, infrastructure, education, social services). the social and economic environment of the residence state therefore provides the taxpayer with the tools necessary to grow the business carried on in the immovable property located in the source state. in return for these benefits, the taxpayer is expected to pay taxes to the state of residence, not to the source state. in the minister’s view, this logic holds only where the taxpayer owes economic allegiance to the state of residence, which can be tested by the presence of “sufficient substantive economic connections” to that state in the absence of such connections, the residence state’s greater claim to tax would retreat so that the connection between the source state and the immovable property would prevail. as a consequence, the source state would possess the greater claim, and the carve-out from source-based taxation should be unavailable. the theory of economic allegiance is indeed the principle underlying the allocation of taxing rights, and giving effect to this principle thus constitutes the broad purpose of provisions of the treaty, such as art. 13, that distribute the right to tax between the residence and source states (j. li and f. avella, “article 13: capital gains”, in global tax treaty commentaries, last reviewed may 30, 2020 (online), at s 1121). however, i disagree with the minister’s articulation of the theory in this case. broadly speaking, the apportionment of taxing rights between the residence and source states under the oecd model treaty, which serves as a model for the treaty, is centred on the distinction between active and passive income (li and cockfield, at p 12; avi-yonah, sartori and marian, at p 155). the source state has the primary right to tax active income (eg business profits and employment income), and the residence state has only residual rights pursuant to the theory of economic allegiance, the source state has a greater claim to tax active income because its economic environment has the closest connection with the origin of wealth (malherbe, at p 56; li and cockfield, at pp. 66 and 151) non-residents owe allegiance to the source state as a result, and they are expected to pay tax for the public services from which they benefit in carrying on their active economic activities in the source state. conversely, the residence state has the primary right to tax passive income (eg interest, dividends, and capital gains), and the source state has only residual rights. the source state’s claim to tax passive income is considered weaker in comparison to that of the residence state because generating such income is assumed to require few public services from the source state moreover, the economic environment of the source state is considered less material to the earning prospect of passive investments, as such passive activities may be conducted in various jurisdictions without either improving or negatively affecting their earning prospect therefore, non-residents earning passive income owe little allegiance to the source state. the allocation of the right to tax capital gains in the treaty relies on this articulation of economic allegiance distinguishing between active and passive income. this allocation serves as the broad purpose of art. 13. under art. 13(5) of the treaty, the residence state has the primary right to tax capital gains, as they are passive income. under art. 13(1) to (4), there are exceptions allowing the source state to tax capital gains realized by non-residents for example, gains derived from the alienation of immovable property, movable property forming part of the business property of a permanent establishment located in the source state, and shares whose value is derived principally from immovable property may be taxed by the source state. the rationale of these exceptions is that the origin of the wealth acquired from sales of immovable property and the like is the source state, which therefore has a greater claim to tax (malherbe, at pp. 58-59) for instance, the sale of immovable property situated in canada is, in essence, a sale of a “piece of canada” — “the ‘canadianness’ of the property . . . is the source of the gains” (li and cockfield, at pp. 198 and 151). the business property exemption applies where a capital gain is realized on the sale of shares whose value is derived principally from immovable property in which a business was carried on. as a consequence, the default rule is reinstated, so that the residence state has the primary right to tax the gain in my opinion, this constitutes a departure from the theory of economic allegiance as articulated in the treaty and the oecd model treaty and shows that the business property exemption has a different purpose. according to the logic of economic allegiance, the source state normally has a greater claim to tax income derived from a business carried on within its territory or from the disposition of immovable property located within its territory, because the source state’s economic environment has the closest connection to the origin of wealth. under art. 13(4) and (5), however, the taxing right is allocated to the residence state instead of the source state. this departure can be explained by the fact that economic allegiance is not the sole principle or policy consideration underlying the rules applicable to source-based taxation; the principle of capital import neutrality, the concern to prevent tax base erosion, and the desire to attract foreign investment also underlie these rules (li and cockfield, at pp. 151-54). since all these principles and policy considerations cannot be accommodated in every single rule, a balancing exercise is inevitable (see shell canada ltd v canada, [1999] 3 scr 622, at para. 43; canada trustco, at para. 53; sun indalex finance, llc v united steelworkers, 2013 scc 6, [2013] 1 scr 271, at para. 174). article 13(4) is also the result of a balancing exercise. the theory of economic allegiance is not the dominating rationale underlying the carve-out provided for in art. 13(4). rather, the main objective is to attract foreign investment, as i explain below. canada was and still is a large importer of foreign capital and thus a source country (arnold (2009), at pp. 10-11). as a source country, canada would have had an interest in negotiating broad source-based taxation rights in bilateral treaties in order to collect larger tax revenues. according to learned authors, canada must have been alive, however, to the fact that its position on source-based taxation could also be used as an instrument to attract foreign investment crucial to its economy (li and cockfield, at p 153). harsh source taxes chase away foreign investors, whereas tax breaks attract them. importers of capital thus have an interest in maintaining a balance between these disincentives and incentives if they want to remain competitive in the global economy. li and avella say that canada has routinely included the carve-out in many of its tax treaties, including this treaty, for this specific reason (s 31463). this tax break encourages foreigners to invest in immovable property situated in canada in which businesses are carried on (eg mines, hotels, or oil shales), rather than simply to invest in assets to be held for speculative purposes. importantly, i note that only a very small number of the world’s tax treaties include the carve-out, thereby signalling that its inclusion in the treaty was no accident on canada’s part to begin with, less than 35 percent of the world’s pre-2014 double-tax treaties include a provision allocating to the source state the right to tax capital gains from the disposition of shares of a company or interests in a partnership, trust, or estate whose value is derived principally from immovable property, as provided for in the first part of art. 13(4) (li and avella, at ss. 215 and 31412). and out of that 35 percent, an even smaller number of treaties contain the carve-out provided for at the end of art. 13(4) (li and avella, at s 31463). the remaining question is whether the contracting states intended that persons without “sufficient substantive economic connections” to their state of residence be able to take advantage of the carve-out to avoid paying any taxes. put simply, the question is whether the use of conduit corporations in this context perverts the bargain struck between canada and luxembourg. in my view, it does not. the gaar was enacted to catch unforeseen tax strategies. however, the use of conduit corporations, “legal entit[ies] created in a state essentially to obtain treaty benefits that would not be available directly”, was not an unforeseen tax strategy at the time of the treaty (“commentary on article 1” of the 1998 oecd model treaty, at para. 9) indeed, it was far from being a novel phenomenon that emerged subsequently to the signing of the treaty back in the 1970s, the “commentary on article 1” of the 1977 oecd model treaty criticized tax planning strategies involving conduit corporations (paras. 8-9). this was also an issue discussed by learned authors (see, eg,. a. a. knechtle, basic problems in international fiscal law (1979), at p 115; d. r. davies, principles of international double taxation relief (1985), at paras. 1.13 and 322). and more contemporaneously to the treaty, the “commentary on article 1” of the 1998 oecd model treaty discussed the use of conduit corporations as well. luxembourg is a country well known for its broad tax treaty network and international tax haven regime, making it an attractive jurisdiction to set up a conduit corporation and take advantage of treaty benefits as mentioned above, one can presume that canada had knowledge of these features of luxembourg’s tax system when it entered into the treaty. canada nevertheless entered into a bilateral tax treaty with luxembourg with only minimal safeguards and thereby ignored many of the oecd’s suggestions. at that time, as discussed above, the “commentary on article 1” of the 1998 oecd model treaty set out a whole menu of potential anti-avoidance provisions that might have short-circuited the creation of conduit corporations in luxembourg. i acknowledge that the absence of specific anti-avoidance rules that would have prevented the situation is not necessarily determinative of the application of the gaar (see copthorne, at paras. 108-11) of course, one could always imagine a potential anti-avoidance rule that would have pre-empted the tax strategy at issue. if that were the standard, i agree that it would provide a full response in every case and gut the gaar in this case, the absence of specific anti-avoidance provisions represents, however, an enlightening contextual and purposive element as it sheds light on the contracting states’ intention. this is not a case where parliament did not or could not have foreseen the tax strategy employed by the taxpayer. options to remediate the situation were available and known by the parties, but they made deliberate choices to guard some benefits against conduit corporations and to leave others unguarded. had the parties truly intended to prevent such corporations from taking advantage of the carve-out, they could have done so. combined with canada’s preference at the time of the treaty for taking advantage of economic benefits yielded by foreign investments rather than higher tax revenues (as will be discussed below), this makes the rationale of the carve-out even clearer in my opinion, canada and luxembourg made a deliberate choice to leave the business property exemption unguarded. the parties agreed to exclude luxembourg holding companies from their treaty (art. 28(3)). however, as explained above, the parties did not follow the oecd’s suggestion to include a “look-through” provision combined with a provision safeguarding bona fide business activities doing so would have excluded conduit corporations that were owned by residents of a third country and that conducted few “substantive business activities” in luxembourg. moreover, luxembourg and canada added provisions reserving the benefits of the treaty to the beneficial owners of certain income, but only in respect of dividends, interest, and royalties, not capital gains (arts. 10 to 12). if the parties had applied the concept of beneficial ownership to the carve-out, it would have prevented conduit corporations from taking advantage of this benefit where their beneficial owners were residents of a third country (see, eg,. prévost car). although the oecd model treaty may not have specifically recommended extending the concept of beneficial ownership to capital gains, nothing barred the parties from doing so. after all, the oecd model treaty remains a model, not a binding legal instrument. i fail to see, as rowe and martin jj. do, a fundamental difference between capital gains, on the one hand, and dividends, interest, and royalties, on the other, that would have made beneficial ownership unsuitable in respect of capital gains it is true that, in a paper prepared in 2008 for the united nations, professor philip baker questioned the possible extension of the beneficial ownership concept to capital gains because it is harder to identify the beneficial owner of a capital gain than to identify the beneficial owner of a traceable flow of income like dividends, interest, and royalties (the united nations model double taxation convention between developed and developing countries: possible extension of the beneficial ownership concept, un. doc. e/c18/2008/crp2/add1,. ann., october 17, 2008, at para. 55). but professor baker explained that this difference is “not insurmountable” (para. 58). in the end, he even suggested the potential wording of a beneficial ownership provision applicable to capital gains: 6. gains from the alienation of any property other than that referred to in paragraphs 1, 2, 3, 4 and 5 shall be taxable only in the contracting state of which the beneficial owner is a resident. [para. 59] as suggested in the “commentary on article 13” of the 1998 oecd model treaty, canada could also have insisted on a subject-to-tax provision if it had truly been concerned about the erosion of its tax base (para. 21). pursuant to such a provision, a contracting state foregoes its right to tax capital gains only if the other state actually taxes these gains. the inclusion of a provision of this sort would have meant that capital gains exempt from or subject to very little tax in luxembourg would be taxable in canada, instead of having almost double non-taxation. canada’s decision is, however, not surprising. situations of double non-taxation are intentional and part of the bargain in most cases (couzin, at p 109). the absence of a subject-to-tax provision, combined with canada’s knowledge of luxembourg’s tax system, confirms my view that canada’s primary objective in including art. 13(4) was to cede its right to tax capital gains of a certain nature realized in canada in order to attract foreign investment it was not part of the bargain that luxembourg actually tax the gains to the same extent that canada would have taxed them. further, consideration of tax treaties in pari materia forming part of the broader context of the treaty corroborates the parties’ deliberate choice to leave the business property exemption unguarded against conduit corporations established in luxembourg. as noted by professor arnold, canada began including discrete purpose tests designed to prevent treaty shopping in some of the treaties it entered into around the same time it entered into the treaty, which was signed in 1999 ((2009), at p 358). see, eg, the treaties with nigeria2, ukraine3, kazakhstan4, uzbekistan5, and peru6. these provisions were designed to take back certain treaty benefits where the purpose of a transaction was to gain access to these benefits most likely, the creation of a conduit corporation in luxembourg to access the exemption would have been caught by such a purpose test. had the parties truly intended to deprive such corporations of the benefits of the carve-out, they would have made the carve-out subject to a purpose test. the absence of any such anti-avoidance measure that would have limited access to the carve-out in a treaty with a country known for not taxing capital gains leads me to believe that canada weighed the pros and cons and concluded that its national interest in attracting foreign investors, using luxembourg as a conduit to take advantage of the carve-out, outweighed its interest in collecting more tax revenues on such capital gains. this answers the question of “why the benefit was conferred” posed under the gaar (canada trustco, at para. 66) this choice must also have been 2 agreement between the government of canada and the government of the federal republic of nigeria for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital gains, can. ts 1999 no. 48, arts. 10(7), 11(8) and 12(7). 3 convention between the government of canada and the government of ukraine for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 1997 no. 39, arts. 11(8) and 12(8). 4 convention between the government of canada and the government of the republic of kazakhstan for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 1998 no. 13, arts. 11(8) and 12(7). 5 convention between the government of canada and the government of the republic of uzbekistan for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 2000 no. 18, arts. 11(8) and 12(7). 6 convention between the government of canada and the government of the republic of peru for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 2002 no. 23, arts. 10(7), 11(7), and 12(7). motivated by the fact that canada was not keen on going its own way at a time when the international community was not yet as serious about curtailing treaty shopping as it was during the years leading to the signature and ratification of the multilateral convention to implement tax treaty related measures to prevent base erosion and profit shifting, can. ts 2019 no. 26, in 2017 and as it has remained to this day (see multilateral instrument in respect of tax conventions act, sc 2019, c 12; arnold (2009), at p 18). as a relatively small country, “canada does not have the luxury of setting its own policy without considering what other countries do”, and it must have rightly seen multilateralism as the way forward (li and cockfield, at p 25). this is not an absurd proposition, as my colleagues assert there is no better way to describe canada’s attitude at the time of the treaty when faced with the dilemma between higher tax revenues and competitiveness than to quote the words of the department of finance’s response to the report of the auditor general of canada to the house of commons, 1992, at p 52: to a large degree, international norms limit the range of options available to the canadian government and, in this context, the government’s policy has generally been to favour competitiveness concerns over those of revenue generation. [emphasis added.] in conclusion, the object, spirit, and purpose of the carve-out provided for in art. 13(4) and (5) of the treaty are to foster international investment by exempting residents of a contracting state from taxes in the source state on capital gains realized on the disposition of immovable property in which a business was carried on, or on the disposition of shares whose value is derived principally from such immovable property. the fact that the capital gains may not be taxed in luxembourg, leading to double non-taxation, and the fact that conduit corporations can take advantage of the carve-out are tax planning outcomes consistent with the bargain struck between canada and luxembourg. although canada had a greater claim to tax such income based on the theory of economic allegiance and would have most likely received more tax revenues without the carve-out given its traditional status as a source state, canada agreed to forego its right to tax such capital gains, regardless of whether they would be taxed in luxembourg, in order to attract foreign investment in business assets embodied in immovable property located in canada (eg hotels, mines, or oil shales) and to reap the economic benefits generated by that investment. this is what was actually agreed upon. it appears that canada was aware of tax planning strategies using conduit corporations in luxembourg but that it made a deliberate choice not to include anti-avoidance provisions that would have addressed this situation in the treaty. e. second step: abusiveness of the transaction the second step of the methodology for the abuse analysis is “to examine the factual context of a case to determine whether the avoidance transaction defeated or frustrated the object, spirit or purpose of the provisions in issue” (canada trustco, at para. 55). alta luxembourg was created as part of a restructuring of activities to take advantage of the carve-out provided for in art. 13(4) of the treaty. it concedes that this tax benefit was derived from a transaction not arranged primarily for a bona fide purpose other than to obtain this benefit. however, i fail to see how this avoidance transaction was abusive. in this court, as in the federal court of appeal, the minister rightly concedes that alta luxembourg is a resident of luxembourg for the purposes of the treaty, as it has its legal seat there. moreover, nothing indicates that alta luxembourg was not liable to tax in luxembourg. the gain it realized on the disposition of its shares of alta canada was reported to the luxembourg authorities and was subject to full taxation under their domestic laws the fact that alta luxembourg paid less tax in luxembourg on this gain than it would have paid if it were a canadian resident paying tax in canada changes nothing in this determination as noted by this court in copthorne, “determining the rationale of the relevant provisions of the act should not be conflated with a value judgment of what is right or wrong nor with theories about what tax law ought to be or ought to do” (para. 70). therefore, from the moment that alta luxembourg realized a gain on the disposition of its shares of alta canada, the laws of luxembourg applied and canada’s interest in the gain ceased. as a result, alta luxembourg’s resident status falls squarely within the object, spirit, and purpose of arts. 1 and 4(1) of the treaty. the minister has failed to discharge her burden of establishing that the avoidance transaction defeats the underlying rationale, the “object, spirit, or purpose”, beyond the words of the provisions. alta luxembourg met the clear requirements of arts. 1, 4, and 13(4). the treaty makes it clear that canada and luxembourg agreed that the power to tax would be allocated to luxembourg where the conditions of the carve-out were met there is nothing in the treaty suggesting that a single-purpose conduit corporation resident in luxembourg cannot avail itself of the benefits of the treaty or should be denied these benefits due to some other consideration such as its shareholders not being themselves residents of luxembourg. in this case, the provisions operated as they were intended to operate; there was no abuse, and, therefore, the gaar cannot be applied to deny the tax benefit claimed. this result accords with the true intention of the partners to the treaty and must be respected. as pelletier ja held in mil (investments), “[t]o the extent that the appellant argues that the tax treaty should not be interpreted so as to permit double non-taxation, the issue raised by gaar is the incidence of canadian taxation, not the foregoing of revenues by the luxembourg fiscal authorities” (para. 8). a final note on the minister’s implication that treaty shopping arrangements are inherently abusive. a broad assertion of “treaty shopping” does not conform to a proper gaar analysis in accordance with the separation of powers, developing tax policy is the task of the executive and legislative branches. courts do not have the constitutional legitimacy and resources to be tax policy makers (canada trustco, at para. 41). it is for the executive and legislative branches to decide what is right and what is wrong, and then to translate these decisions into legislation that courts can apply. it bears repeating that the application of the gaar must not be premised on “a value judgment of what is right or wrong [or] theories about what tax law ought to be or ought to do” (copthorne, at para. 70). taxpayers are “entitled to select courses of action or enter into transactions that will minimize their tax liability” (copthorne, at para. 65). the courts’ role is limited to determining whether a transaction abuses the object, spirit, and purpose of the specific provisions relied on by the taxpayer. it is not to rewrite tax statutes and tax treaties to prevent treaty shopping when these instruments do not clearly do so. vi conclusion for these reasons, i would dismiss the appeal. the respondent is entitled to its costs in this appeal. the reasons of wagner cj and rowe and martin jj. were delivered by rowe and martin jj. — i. overview multinational companies exploiting gaps and mismatches in international tax rules erode domestic tax bases and cost countries an estimated us$100 to us$240 billion in lost revenue annually (organisation for economic co-operation and development (“oecd”), background brief: inclusive framework on beps, january 2017 (online), at p 9). as a result, aggressive international tax avoidance has received increasing political and media scrutiny (see, eg,. the economist’s “the big carve-up” (may 15, 2021), at pp. 65-66, and le monde’s series openlux: enquête sur le luxembourg, coffre-fort de l’europe by j. baruch et al., february 8, 2021 (online)). although it is a long standing principle in canadian law that taxpayers may arrange their affairs to minimize their amount of tax payable (commissioners of inland revenue v. duke of westminster, [1936] ac 1 (hl);. canada trustco mortgage co. v. canada, 2005 scc 54, [2005] 2 scr 601, at para. 11), the freedom to do so is not without limits canada has acted to curb abusive international tax avoidance by enacting the general anti-avoidance rule (“gaar”), which denies tax benefits when taxpayers engage in transactions that conform with the text of the tax rules relied upon, but do not accord with their rationale. in introducing the gaar in our tax legislation some 30 years ago, and in making it clear that it was applicable to abuses of tax treaties, parliament made a policy choice by which it intended to fight harmful tax avoidance schemes that cross the line of legitimate tax planning and venture into the realm of abusive tax avoidance. courts now have the responsibility to give proper effect to the intention of parliament and ensure the gaar plays a meaningful role in controlling avoidance transactions that technically comply with the provisions of a tax treaty but frustrate their underlying rationale the interpretation exercise that is mandated in a gaar analysis thus vests upon courts the unusual duty to look beyond the words of the applicable provisions to determine whether the transactions in question frustrate the underlying rationale of those provisions. giving an interpretation confined to the black letter of these legislative provisions instead defeats parliament’s will and fails to fulfil the courts’ role “to interpret and apply the act as it was adopted by parliament” (shell canada ltd. v. canada, [1999] 3 scr 622, at para. 45; see also canada trustco, at para. 13). given that the gaar can only find application where a taxpayer has complied with the strict requirements of a provision, absolute certainty cannot be achieved, nor was it intended. this is a legislative choice that parliament made in order to strike a necessary balance between the uncertainty inherent in the gaar and the fairness of the canadian tax system as a whole achieved by defeating abusive tax avoidance schemes. alta energy luxembourg sarl (“alta luxembourg”) is a luxembourg corporation created so that shareholders of alta energy partners, llc (“alta us”), who are residents neither of canada nor of luxembourg, could benefit from an exemption from canadian income tax under the convention between the government of canada and the government of the grand duchy of luxembourg for the avoidance of double taxation and the prevention of fiscal evasion with respect to taxes on income and on capital, can. ts 2000 no. 22 (“treaty”), with respect to liquidation of an investment in oil and gas properties. despite being a mere conduit interposed in luxembourg, alta luxembourg claimed a tax exemption for a capital gain of more than $380 million. the issue in this case is whether this transaction constitutes abuse under the gaar. in effect, does alta luxembourg get to claim this exemption and, thereby, pay no tax at all in canada on a multimillion dollar profit made from property in canada, even though it had no genuine connection to luxembourg? we conclude that alta luxembourg’s claim for a tax benefit under the treaty is the result of abusive avoidance transactions. in our respectful view, the courts below did not properly identify the rationale underlying the relevant provisions of the treaty. they gave weight only to the text and failed to consider why the provisions were put in place. this is not the exercise mandated under the gaar. the object, spirit or purpose of the relevant provisions of the treaty is to assign taxing rights to the state with the closest economic connection to the taxpayer’s income. article 13(4) allocates to luxembourg the right to tax its residents’ indirect gains from immovable property situated in canada used in a business. in such cases, luxembourg is deemed to have the closer economic connection with the taxpayer’s income because the business activity, rather than the immovable property itself, drives the value of the property. here, a review of the factual matrix reveals that alta luxembourg utterly lacks a genuine economic connection with luxembourg. allowing it to benefit from art. 13(4) and (5) would frustrate the rationale of this provision and is thereby abusive. the common intention of canada and luxembourg in entering into a tax treaty could not have been to provide avenues for residents of third-party states to indirectly obtain benefits from luxembourg’s tax regime they could not obtain directly, despite the absence of genuine ties to that state. accordingly, we would allow the appeal. ii background in june 2011, alta energy partners canada ltd (“alta canada”) was incorporated under the laws of alberta. it was a wholly owned subsidiary of alta us, whose shareholders were foreign investors from the united states or other countries. alta canada carried on an unconventional shale oil business in northern alberta. the indirect owners of the shares of alta canada were advised by tax professionals that their current corporate structure was undesirable from a tax perspective — the capital gain resulting from the future disposition of the shares would be subject to canadian taxes because the shares of alta canada were taxable canadian property and canada reserves the right to tax such capital gains under the convention between canada and the united states of america with respect to taxes on income and on capital (enacted in law in canada by the canada-united states tax convention act, 1984, sc 1984, c 20, sch. i; see ss. 2(3)(c) and 115(1)(b) of the income tax act, rsc 1985, c 1 (5th supp.) (“act”). the advice highlighted the existence of a favourable exemption under other tax treaties that would lead to the non-taxation of the capital gain to be realized on the sale of the shares. in april 2012, alta luxembourg was formed under the laws of luxembourg for the purpose of taking advantage of the treaty the shares of alta luxembourg were still indirectly controlled by shareholders of alta us alta luxembourg had no genuine connection to luxembourg: it had no business activity in luxembourg and it did not hold any other investment the sole purpose for the incorporation was to avoid paying taxes in canada on the sale of the shares of alta canada. on the same day, alta us sold all its shares of alta canada to alta luxembourg the investors had received a confirmation from the luxembourg tax authorities that capital gains realized on the participation in alta canada would be exempt from luxembourg tax the result was to replace alta us with alta luxembourg as shareholder of alta canada, but to keep the same persons effectively in control. in 2013, alta luxembourg sold the shares of alta canada for an amount of approximately $680 million the resulting capital gain was in excess of $380 million. alta luxembourg then claimed an exemption from canadian income tax under art. 13(5) of the treaty. the minister of national revenue denied the exemption, partially on the basis that the gaar operated to deny the benefit alta luxembourg appealed the assessment. the tax court of canada allowed alta luxembourg’s appeal. it found that alta luxembourg could claim the exemption from canadian income tax and that the gaar did not prevent this entitlement (2018 tcc 152, [2019] 5 ctc 2183). the federal court of appeal agreed with the tax court (2020 fca 43, [2020] 5 ctc. 193). iii analysis a. the legal framework under the general anti-avoidance rule the gaar, set out at s 245 of the act, is a tool to preserve the integrity of our tax system which seeks to respond to “the need to prevent further erosion of tax revenues through purely tax-motivated strategies” (j. sasseville, “implementation of the general anti-avoidance rule”, in corporate management tax conference, income tax enforcement, compliance, and administration (1988), 4:1, at p 4:2). indeed, an unbridled application of the duke of westminster principle providing that a taxpayer may arrange their affairs to minimize their tax burden “can mislead taxpayers into believing that tax plans that merely comply with the technical provisions of the act are acceptable” (v. krishna, income tax law (2nd ed. 2012), at p 473). establishing the line between legitimate tax planning and abusive tax avoidance is a complex balancing exercise. parliament drew that line by enacting the gaar — “the apex of all anti-avoidance measures” (krishna (2012), at p 470). section 245, which sets out the gaar reads, in part: (2) where a transaction is an avoidance transaction, the tax consequences to a person shall be determined as is reasonable in the circumstances in order to deny a tax benefit that, but for this section, would result, directly or indirectly, from that transaction or from a series of transactions that includes that transaction. (4) subsection (2) applies to a transaction only if it may reasonably be considered that the transaction (a) would, if this act were read without reference to this section, result directly or indirectly in a misuse of the provisions of any one or more of (iv) a tax treaty . . . or . (b) would result directly or indirectly in an abuse having regard to those provisions, other than this section, read as a whole. there are three requirements for the gaar to apply and to deny tax benefits: (1) there must be a tax benefit; (2) the transaction giving rise to the tax benefit must be an avoidance transaction under s 245(3), “in the sense that it cannot be said to have been reasonably undertaken or arranged primarily for a bona fide purpose other than to obtain a tax benefit”; and (3) the avoidance transaction must result in a misuse or abuse of the act or a tax treaty, “in the sense that it cannot be reasonably concluded that a tax benefit would be consistent with the object, spirit or purpose of the provisions relied upon by the taxpayer” (canada trustco, at para. 66(1.); s 245(3) of the act). thus, where there is a tax benefit and an avoidance transaction, the application of the gaar to deny the tax benefit will only be avoided “if it may be reasonable to consider that it did not result from abusive tax avoidance under s 245(4)” (para. 35, see also department of finance, explanatory notes to legislation relating to income tax (1988), at p 464). the terms “misuse” and “abuse” are not defined in the act. as such, courts had to ascertain the appropriate test for determining whether abusive tax avoidance had taken place. (1) determining whether there has been abuse under the gaar the third requirement of the gaar is subdivided into two steps. the first is to determine the object, spirit or purpose of the provisions giving rise to the tax benefit; the second is to determine whether the transaction frustrates that purpose (canada trustco, at para. 44). first, the court must identify the “object, spirit or purpose of the provisions of the income tax act that are relied on for the tax benefit, having regard to the scheme of the act, the relevant provisions and permissible extrinsic aids” (canada trustco, at para. 55) as justice rothstein emphasized in copthorne holdings ltd v canada, 2011 scc 63, [2011] 3 scr 721, parliament, in enacting the gaar, has conferred an “unusual duty” on the courts to look beyond the words of the statute to ascertain the object, spirit or purpose of the provisions at issue (para. 66) even if the taxpayer complies with the text of the provisions of the act or tax treaty, courts must determine whether the taxpayer’s transactions are in accord with the rationale of the provisions relied upon (copthorne, at para. 66; krishna (2012), at p 486). although the gaar analysis involves a textual, contextual, and purposive analysis, the inquiry differs from traditional statutory interpretation. whereas the object of traditional statutory interpretation is to “determine what the words of the statute mean”, the gaar analysis is a “search . . . for the rationale that underlies the words that may not be captured by the bare meaning of the words themselves” (copthorne, at para. 70). the question under the gaar is not whether the taxpayer can claim a tax benefit, but rather “why the benefit was conferred” (canada trustco, at para. 66(4)). thus, a traditional statutory interpretation “is constrained by the text of the relevant provisions in a way that a gaar analysis is not” (d. g. duff, “the interpretive exercise under the general anti-avoidance rule”, in b. j. arnold, ed., the general anti-avoidance rule — past, present, and future (2021), 383, at p 406). this follows by necessary implication. to determine whether a taxpayer can claim a tax benefit in the first place, the provisions of the act must be interpreted applying the traditional textual, contextual and purposive approach. and, in any gaar case, “the text of the provisions at issue will not literally preclude a tax benefit the taxpayer seeks by entering into the transaction or series” (copthorne, at para. 88). if the gaar simply replicated the statutory interpretation exercise, it would be meaningless. this difference in the methodology of interpretation is pivotal to giving proper effect to the gaar. similarly, in determining the meaning of tax treaties, art. 31 of the vienna convention on the law of treaties, can. ts 1980 no. 37, requires the terms of a treaty to be interpreted in light of their context and in light of the treaty’s object and purpose. the gaar directs courts to go behind this meaning and to identify the rationale underlying the relevant provision of the treaty. once the court has identified the rationale underlying the relevant provisions, the second step of the abuse analysis is “to determine whether the avoidance transaction defeated or frustrated the object, spirit or purpose of the provisions in issue” (canada trustco, at para. 55) there will be a finding of abuse: “. . (1) where the transaction achieves an outcome the statutory provision was intended to prevent; (2) where the transaction defeats the underlying rationale of the provision; or (3) where the transaction circumvents the provision in a manner that frustrates or defeats its object, spirit or purpose . . .” (copthorne, at para. 72). these considerations “are not independent of one another and may overlap” (ibid.) the abusive nature of the transaction “must be clear” (canada trustco, at para. 62). in summary, the gaar will not apply “to deny the tax benefi[t] that results from these transactions as long as they are carried out within the object and spirit of the provisions of the act read as a whole” (krishna (2012), at p 486, quoting department of finance (1988), at p 464). the same rule would undoubtedly apply to tax benefits arising under the treaty. however, the gaar applies when the taxpayer carries out transactions to obtain a tax benefit not intended by specific provisions of the act or treaty read as a whole. in such cases, the gaar “will override other provisions of the act [or tax treaties] since, otherwise, its object and purpose would be defeated” (p 489, quoting department of finance (1988), at p 465). (2) certainty, predictability and fairness to the extent that the gaar is only invoked where there will be compliance with the requirements on a literal reading of a provision, the gaar, by nature, gives rise to an “unavoidable degree of uncertainty for taxpayers” (copthorne, at para. 123). allowing the gaar to create this uncertainty was a deliberate choice that parliament made when it enacted a provision that can defeat tax avoidance schemes that exploit canada’s legislation and treaties the act contains numerous anti- avoidance provisions that target specific factual scenarios. inventive tax planners may successfully avoid these provisions by using structured transactions, but those transactions may still constitute abusive tax avoidance. the gaar was designed to act as the final, catch-all provision which can be applied where no specific anti-avoidance provision applies, exists or was circumvented. it is a “provision of last resort” (canada trustco, at para. 21). absolute certainty under the gaar does not exist. parliament has made a tax policy choice in order to balance the principles of certainty and predictability with another principle that is as fundamental to our tax system — the principle of fairness (lipson v canada, 2009 scc 1, [2009] 1 scr 3, at para. 52) the gaar “is designed, in the complex context of the [act], to restrain abusive tax avoidance and to make sure that the fairness of the tax system is preserved” (ibid.) sophisticated taxpayers who can afford tax professionals have access to planning strategies that lower or eliminate their tax burden through what may cross the line into abusive tax avoidance territory. not applying the gaar to those abusive schemes is deeply unfair not solely because only this select group of taxpayers may have access to such professionals, but also because the tax burden avoided by the select group falls back on the taxpayers who do not, for instance through higher tax rates (d. a. dodge, “a new and more coherent approach to tax avoidance” (1988), 36 can. tax j 1, at pp 4, 8 and 9). professor j. li underscores this essential balancing role the gaar plays in our tax system, as recognized in our jurisprudence: as the supreme court noted in canada trustco, the preservation of “certainty, predictability and fairness” for individual taxpayers is considered a “basic tenet of tax law” [at para. 61]. on the other hand, the gaar requires the balancing of this set of policy concerns against the concern for protection of the tax base and the fairness of the tax system as a whole. . . . the gaar cases generally involve situations that do not concern the majority of taxpayers, and the transactions are well planned and executed on the basis of professional tax advice therefore, the requirement of certainty does not ring true in gaar cases. [emphasis added; footnotes omitted.] (“‘economic substance’: drawing the line between legitimate tax minimization and abusive tax avoidance” (2006), 54 can. tax j 23, at p 40) consequently, a finding that the gaar applies to deny the tax benefits conferred by clear provisions where avoidance transactions defeat their underlying rationale does not run counter to the principles of certainty, predictability and fairness. the application of the gaar in these circumstances upholds the balance parliament sought to strike between those principles and gives effect to its intent to curb abusive tax avoidance (department of finance (1988), at p 461, cited in canada trustco, at para. 15). this is the view that the majority upheld in lipson in that case, the dissenting judges were of the view that the duke of westminster principle should prevail over the gaar on the basis that, if not contained, the gaar was a “weapon” that “could have a widespread, serious and unpredictable effect on legitimate tax planning” (para 55) justice lebel, for the majority, found that this approach “essentially gut[ted] the gaar and rea[d] it out of the [act] under the guise of an exercise in legal interpretation” (para. 52). overemphasizing the principles of certainty and predictability to the detriment of that of fairness is contrary to parliament’s will. in the words of lebel j., the “desire to avoid uncertainty cannot justify ignoring a provision of the [act] that is clearly intended to apply to transactions that would otherwise be valid on their face” (ibid). courts have the obligation to animate all parts of parliament’s legislation, including s 245 of the act. (3) the application of the gaar to bilateral tax conventions following the introduction of s 245 of the act, the question of whether this provision applied to tax treaties gave rise to much debate among commentators and scholars (w. i. innes, p. j. boyle and j. a. nitikman, the essential gaar manual: policies, principles and procedures (2006), at p 198-204). this debate is now settled. as bowman j (as he then was) had opined in rmm canadian enterprises inc. v. r., [1998] 1 ctc 2300, at paras. 52-54 and 56, quoting mcnichol v. the queen (1997), 97 dtc 111, at pp. 120-21, the minister could use the gaar to deny tax benefits arising from the exploitation of canada’s tax treaties parliament later confirmed that s 245 applied to tax treaty benefits when it enacted s 245(4)(a)(iv) of the act in the budget implementation act, 2004, no. 2, sc 2005, c 19, s 52(2). it also enacted s 4.1 of the income tax conventions interpretation act, rsc 1985, c. i- 4 (“itcia”), which provides that “[n]otwithstanding the provisions of a convention . it is hereby declared . . . that section 245 of the [act] applies to any benefit provided under the convention.” and, in the event of inconsistency between the treaty and the itcia, the provisions of that act prevail (income tax conventions implementation act, 1999, sc 2000, c 11, s 51(2)). the courts are bound to give effect to parliament’s legislative efforts to clearly communicate its intent to curb tax avoidance arising from an improper use of some of canada’s tax treaties through the application of the gaar. the result is that “tax treaties must be interpreted in the same manner as domestic legislation when analyzing potentially abusive avoidance transactions” (mil (investments) s.a v r., 2006 tcc 460, [2006] 5 ctc 2552 (“mil (tcc)”), at para. 28). contrary to our colleague côté j.’s suggestion, this is not an impermissible extension of the gaar. if there were any doubts about the application of the gaar to tax treaties, they were unequivocally resolved when parliament amended the act in 2005 (see standing senate committee on national finance, proceedings of the standing senate committee on national finance, nos. 19 and 20, 1st sess., 38th parl., april 20 and may 2, 2005, at pp. 19:16-17, 19:22, and 19:26-27). therefore, although this court’s pronouncements on the gaar were made in the context of alleged abuses of the act, there is no dispute that the gaar also applies to avoidance transactions that abuse or misuse tax treaties. the backdrop against which this amendment was brought provides insight. it followed a report by the auditor general of canada on what was then the canada customs and revenue agency (“ccra”), in which it identified a number of tax avoidance schemes that exploited some of canada’s tax treaties. in discussing the tax treaty canada concluded with barbados, the auditor general observed the following: during our review of non-resident files, we noted that the agency has discovered a number of schemes developed to exploit the canada- barbados income tax agreement canada usually signs tax treaties to avoid double taxation. barbados does not tax capital gains. however, the agreement allows a resident of barbados to claim a canadian tax exemption on a capital gain that would otherwise be subject to canadian tax. the agency is currently reviewing transactions that move capital gains from canada to barbados. [emphasis added.] (office of the auditor general, report of the auditor general of canada to the house of commons — chapter 7 — canada customs and revenue agency, international tax administration: non-residents subject to canadian income tax (2001), at para. 7.85) one of the schemes given as an example of an exploitation of canada’s tax treaties is strikingly similar to the facts of the present case: a non-resident company held shares of a canadian company, the proceeds of the sale of which shares would be taxable in canada the non-resident company shifted its residence to barbados and claimed a canadian tax exemption on the capital gain provided under the treaty between canada and barbados (para 789). the auditor general recommended that the ccra “continue to be vigilant in ensuring that tax treaties are not used inappropriately to reduce canadian tax and, if necessary, should seek legislative or treaty changes to protect canada’s tax base” (para. 7.91 (emphasis added)). parliament opted to make clear that the gaar would be its preferred tool to curb tax avoidance arising from an improper use of canada’s tax treaties. b application we now turn to applying the principles laid out above to the facts of this case. since the first two steps of the gaar framework are not at issue, we will focus solely on the abuse analysis. (1) object, spirit or purpose of articles 1, 4 and 13 of the treaty the crown submits that, with respect to “shares which derive their value principally from immovable property used in a company’s business”, the rationale underlying the relevant provisions of the treaty is to allocate taxing rights to the state of residence, as the economic connection to the company’s state of residence would usually outweigh the connection to the source state as the situs of the immovable property (af, at para 65) alta luxembourg adopts the view of the courts below, according to which the rationale is no broader than the text of the relevant provisions of the treaty (af, at para 97) the rationale is simply to “exempt residents of luxembourg from canadian taxation where there is an investment in immovable property used in a business” (tcc reasons, at para. 100; see also ca reasons, at para. 67). we agree with the crown contrary to the result reached in the courts below, this is not a case where the text of a provision fully expresses its underlying rationale; failing to have regard to this rationale renders the gaar “meaningless” (copthorne, at paras. 110-11). we conclude that the rationale underlying arts. 1, 4 and 13 of the treaty is to assign taxing rights to the state with the stronger economic claim to the income canada is presumed to have the stronger connection to capital gains related to passive investment in immovable property situated in canada realized by residents of luxembourg. however, when the value of the immovable is driven by a company’s business — that is, when residents of luxembourg realize a gain from immovable property used in a business — luxembourg is deemed to have the closer economic connection. the rationale underlying the carve-out in art. 13(4) is to reflect the state of residence’s stronger economic claim to tax the income. in this case, the state of residence is luxembourg but the state with the stronger economic claim to tax the income is canada. (a) the text of the relevant provisions the relevant provisions of the treaty are the following: article 1 i. scope of the convention persons covered this convention shall apply to persons who are residents of one or both of the contracting states. article 4 resident 1 for the purposes of this convention, the term “resident of a contracting state” means any person who, under the laws of that state, is liable to tax therein by reason of that person’s domicile, residence, place of management or any other criterion of a similar nature. this term also includes a contracting state or a political subdivision or local authority thereof or any agency or instrumentality of any such state, subdivision or authority. this term, however, does not include any person who is liable to tax in that state in respect only of income from sources in that state. article 13 capital gains 1. gains derived by a resident of a contracting state from the alienation of immovable property situated in the other contracting state may be taxed in that other state. 4 gains derived by a resident of a contracting state from the alienation of: a shares (other than shares listed on an approved stock exchange in the other contracting state) forming part of a substantial interest in the capital stock of a company the value of which shares is derived principally from immovable property situated in that other state; or b an interest in a partnership, trust or estate, the value of which is derived principally from immovable property situated in that other state, may be taxed in that other state. for the purposes of this paragraph, the term “immovable property” does not include property (other than rental property) in which the business of the company, partnership, trust or estate was carried on; and a substantial interest exists when the resident and persons related thereto own 10 per cent or more of the shares of any class or the capital stock of a company. 5 gains from the alienation of any property, other than that referred to in paragraphs 1 to 4 shall be taxable only in the contracting state of which the alienator is a resident. article 1 provides that the treaty applies to “residents” of canada or luxembourg. article 4 defines “resident” as persons who are liable to pay tax under the laws of the state. article 13 of the treaty provides for the allocation of the right to tax capital gains between canada and luxembourg under art. 13(5), the state of residence (here, luxembourg) retains its jurisdiction to tax capital gains unless the exceptions in art. 13(1) to (4) of the treaty apply. article 13(1) preserves the right of the source state (here, canada) to tax gains derived from immovable property situated in that state this exception is reinforced by art. 13(4), which provides that the source state also preserves its right to tax capital gains arising from the disposition of shares the value of which is derived principally from immovable property situated in the source state article 13(4) is effectively an anti-avoidance rule: it prevents companies from avoiding source state taxation and thereby contradicting art. 13(1) simply by using a corporate vehicle to hold and sell the immovable property (j. li and f. avella, “article 13: capital gains”, in global tax treaty commentaries, may 30, 2020 (online), at s 1125; see also tcc. reasons, at para. 41). finally, there is a carve-out to the exception set out by art. 13(4), for property in which the company carries on business capital gains arising from the disposition of such property will be taxable in the state of residence as such gains fall under the rule provided by art. 13(5). in this case, the tax court judge found that the carve-out applies to the disposition of the shares in alta canada, which can be taxed by the state of residence (luxembourg) and not by canada. although the text of art. 13 of the treaty sets out a clear distributive scheme to allocate taxing rights, it sheds little light on the rationale underlying this allocation. canada and luxembourg did not allocate taxing rights at random; there is a logic underlying the distributive scheme set out in art. 13 of the treaty it is this rationale that we must identify in order to give effect to the gaar. (b) context: specific anti-avoidance provisions alta luxembourg argues that the crown’s submitted rationale, specifically what it calls a “substantial economic connection test”, has the effect of changing the bargain struck between canada and luxembourg. it contends that the crown is seeking to add the unstated condition that a taxpayer must have substantial economic ties to the contracting state of residence in order to qualify as a “resident” under the treaty. canada could have negotiated the inclusion of a provision that could have achieved a similar effect but elected not to specifically, alta luxembourg submits that, in negotiating with luxembourg, canada chose not to include one — or many — of the specific anti-avoidance rules discussed in the 1998 oecd “commentary on article 1”, in model tax convention on income and capital: condensed version. therefore, alta luxembourg says, the minister should not be allowed to rely on the gaar to deny treaty benefits to an entity meeting the residency requirements outlined in the treaty. this argument must fail as it ignores the very justifications behind the legislative choice to introduce a general anti-avoidance provision in a tax system. while there are specific rules that may have permitted the denial of the tax benefits conferred here had they been included in the treaty, it does not follow that the gaar cannot apply to deny the tax benefit. since not every tax avoidance strategy can be foreseen, the effectiveness of specific provisions is limited to parliament’s ability to anticipate such schemes. for this reason, those provisions cannot completely thwart inappropriate tax avoidance (canada, report of the royal commission on taxation (1966), vol. 3, at p 554). before the inception of the gaar, the increased use of complex tax avoidance schemes and matching responses to curb them left taxpayers with the expectation that purely tax- motivated transactions that were inconsistent with the rationale of the provisions relied upon were acceptable as long as they are not targeted by specific legislation (dodge, at p 4). additionally, because legislation is generally prospective, specific anti-avoidance rules permit the early participants in avoidance schemes — those who can afford “the most astute tax advisers” — to enjoy the benefits of those schemes (p 9). this may result in the loss of significant tax revenues. the gaar was enacted as a much needed modernization of canada’s tools against tax avoidance. it was meant to respond appropriately to the proliferation of such complex arrangements and to reduce the burden of having to perpetually address abusive schemes with specific legislation matching each newly marketed “purely tax- motivated scheme” (dodge, at pp. 4 and 8) the explanatory notes issued with the gaar stated that it was to apply “as a provision of last resort after the application of the other provisions of the act, including specific anti-avoidance measures” (department of finance (1988), at p 461 (emphasis added)). here, alta luxembourg’s position essentially amounts to an argument based on the “implied exclusion” rule: if the contracting parties had meant to include an anti-avoidance provision within the treaty, they would have done so expressly. this very reasoning was unanimously rejected by this court in copthorne. in that case, a parent and a subsidiary corporations strategically became sister corporations to conduct a horizontal, rather than vertical, amalgamation. this had the effect of increasing the paid-up capital of the shares of the amalgamated corporations compared to the paid-up capital that would have been otherwise available. the taxpayer argued that because its transactions were not caught by the detailed provisions seeking to prevent taxpayers from inappropriately preserving paid-up capital, no abusive tax avoidance could have resulted. parliament, the argument went, would have expressly referred to such transactions if it had meant for them to be included under the provisions. this court rejected this argument. rothstein j stated that the implied exclusion argument, while relevant in an exercise of statutory interpretation, does not align with “the nature of a gaar analysis” and “is misplaced where it relies exclusively on the text of the [paid-up capital] provisions without regard to their underlying rationale” (paras. 109 and 111). he also warned that “[i]f such an approach were accepted, it would be a full response in all gaar cases, because the actions of a taxpayer will always be permitted by the text of the act” (para. 111). as a result, although the provisions at issue did not impose express limits on the preservation of paid-up capital on a horizontal amalgamation, the gaar applied to deny the tax benefit. this conclusion was justified because the series of transactions allowed for the preservation of the paid-up capital upon a “horizontal” amalgamation that allowed the taxpayer to obtain tax benefits that would not have been available in a vertical amalgamation, a result contrary to the underlying rationale of the relevant provision (copthorne, at para. 126). moreover, relying on prévost car inc. v. canada, 2009 fca 57, [2010] 2 fcr 65, to suggest that canada could have relied on the notion of beneficial ownership to prevent the tax avoidance that took place here is misplaced. not only was canada entitled to rely on the gaar rather than negotiate a specific anti-avoidance rule in the treaty, it is important to note that the provision at issue in that case was art. 10, not art. 13, dealing not with capital gains but with dividends. indeed, beneficial ownership is utterly foreign to art. 13 this notion is relevant to, as noted, art. 10, as well as arts. 11 and 12 of the 2003 oecd “model convention with respect to taxes on income and on capital”, in model tax convention on income and on capital: condensed version, dealing respectively with the payment of dividends, interest and royalties. in a paper on whether the concept of beneficial ownership should be extended to arts. 13 and 21 of the 2001 united nations model double taxation convention between developed and developing countries, u.n doc. st/esa/pad/ser.e/213 (identical in structure to the oecd “model convention”), professor p. baker explained, in 2008, that “the inclusion of a beneficial ownership limitation in the capital gains article of specific, bi-lateral conventions is not part of the current treaty practice of any state” and that “[t]here is also something of a conceptual gulf between applying the beneficial ownership concept to items of income — such as dividends, interest and royalties — and applying it to a capital gain” (the united nations model double taxation convention between developed and developing countries: possible extension of the beneficial ownership concept, un. doc e/c18/2008/crp2/add1,. ann., october 17, 2008, at paras. 54-55 (emphasis added)) while professor baker did state that the “theoretical differences between a flow of income — as in the case of dividends, interest and royalties — and the effective beneficiary of a capital gain, are not insurmountable”, he then went on to state that “[i]t [was] also worth bearing in mind that there is something of a conflict in legal concepts in recognising that the owner of an asset who disposes of that asset may not be the beneficial owner of the capital gain arising from the asset” (para. 58 (emphasis added)). further, in a subsequent report, the united nations’ committee of experts overseeing the subcommittee who had commissioned professor baker’s paper concluded that “[t]here was ultimately only limited support for inserting beneficial ownership in article 13” (committee of experts on international cooperation in tax matters, report on the fourth session (20-24 october 2008), un. doc. e/2008/45 (supp.), 2008, at para. 46). but, of more relevance to the present debate, the examples of tax treaty abuse through the use of art. 13 reviewed by professor baker involved, as here, transfers of residence before the disposal of an asset. he explained that the introduction of “[a] beneficial ownership limitation would not necessarily counter [these] transactions” (para. 53). for all these reasons, beneficial ownership would not be an appropriate anti-avoidance tool to curb tax treaty exploitation involving art. 13 dealing with the realization of capital gains. in sum, by alta luxembourg’s logic, if the lack of a specific tax-avoidance provision in the treaty is fatal to the crown’s position, not only would the gaar be prevented from applying to tax treaties, it would also be prevented from applying in cases of abuse of the act that are not specifically addressed. in our view, no inference can be drawn from the absence of an anti-avoidance rule designed to counter the particular scheme employed in this case. to do so would be inconsistent with of the role of the gaar relative to other anti-avoidance tools it would also be patently contrary to this court’s repeated holding that the gaar is a provision of last resort, and can only find application where no other provisions of the act do (canada trustco, at para. 21; copthorne, at para. 66). thus, the absence of specific anti-avoidance rules in the relevant provisions of the treaty sheds little light on their underlying rationale. (c) the purpose of the relevant provisions: economic allegiance underlies the distributive scheme the treaty, like other bilateral tax treaties, allocates the right to tax between contracting states so as to avoid double taxation (e. c. c. m. kemmeren, “legal and economic principles support an origin and import neutrality-based over a residence and export neutrality-based tax treaty policy”, in m. lang et al., eds., tax treaties: building bridges between law and economics (2010), 237, at pp. 239 and 243; k. vogel, “double tax treaties and their interpretation” (1986), 4 int’l tax & bus. law. 1, at pp. 8 and 22; crown forest industries ltd. v. canada, [1995] 2 scr. 802, at para. 46) the allocation of taxing powers follows the theory of “economic allegiance”, under which an economic connection between the state and the taxpayer serves as the basis of taxation (li and avella, at s 1121, referring to league of nations, economic and financial commission, report on double taxation submitted to the financial committee (1923)). this means that taxes should be paid on income where it has the strongest “economic interests” or ties, either in the state of residence or the source state. the theory of economic allegiance explains why arts. 1 and 4 provide that beneficiaries of the treaty are the residents of either state. contracting states extend the benefits of the tax treaties only to their residents (that is, persons liable to pay tax in their state) because residence is an appropriate criterion to ensure that the treaty will “cover only persons who had an economic allegiance to one or both of the contracting states” (p. j. hattingh, “article 1 of the oecd model: historical background and the issues surrounding it” (2003), 57 bull. int’l fisc. doc. 215, at p 221). following the theory of economic allegiance, active income is generally taxable in the source country (where the income is earned) while passive income is taxed primarily in the residence country (j. li and a. cockfield, with j. s. wilkie, international taxation in canada: principles and practices (4th ed. 2018), at pp. 46- 47). while capital gains “do not fit nicely in either ‘active income’ or ‘passive income’” (j. li, a. cockfield and j. s. wilkie, international taxation in canada: principles and practices (2nd ed. 2011), at p 44), nonetheless the distributive scheme of art. 13 reflects, as well, the theory of economic allegiance (li and avella, at s 1121). depending on where the economic connection is stronger, the right to tax the capital gain will be allocated to either the source state or the residence state. as a general rule, residence is taken to indicate the state to which economic ties are closest. the state of residence is typically where “capital is accumulated and consumed” (ibid.), so it has the greater claim to tax. as professor krishna explains, “[t]he obligation to pay tax based on residence derives from the principle that persons who benefit from their economic and social affiliation with a country have an obligation to contribute to its public finances” (fundamentals of canadian income tax (2nd ed. 2019), vol. 1, at p 103). article 13(5) of the treaty reflects this principle: with certain exceptions, capital gains are taxable only in the state in which the taxpayer is a resident, because residence connotes this close connection. gains deriving from immovable property form part of such an exception (see, generally, art. 13(1) and (4)). in relation to immovable property, the capital gain is generally connected predominantly to the situs of the property, which justifies allocating taxing rights to the source state. the rationale behind source taxation is that “a person who receives income from a person or property situated in a state has such a close relation with the state where the person or property is physically located that an obligation to support that state is justified on grounds of the relationship” (kemmeren, at p 262 (emphasis in original); see also a. christians and n. benoît-guay, “status and structure of tax treaties”, in j-p. vidal, ed., introduction to international tax in canada (9th ed. 2021), at p 4/14 to 4/15). this principle explains why art. 13(1) and (4) allocates to the source state the right to tax gains derived directly or indirectly from immovable property situated in that state (li and avella, at ss. 1121 and 1125;. oecd, “commentary on article 13”, in model tax convention on income and on capital: condensed version (2017) (“2017 commentary”), at para. 4; s. simontacchi, taxation of capital gains under the oecd model convention: with special regard to immovable property (2007), vol. 29, at p 201). finally, the carve-out of art. 13(4) allocates the taxing right to the state of residence for its residents’ capital gains from immovable property when it is driven by business activity, to reflect what canada and luxembourg considered to be closer economic ties with the residence state. “the rationale underlying this carve-out is that where a non-resident actively invests in immovable property situated in the source country, tax should be levied in the residence country” (christians and benoît-guay, at p 4/15 (emphasis added)). when business is carried on in an immovable property, the business activity — rather than the immovable property itself — drives value. accordingly, the economic justification for source state taxation is weaker. it is worth recalling that art. 13(4) is intended to prevent taxpayers from circumventing source state taxation (art. 13(1)) by interposing a company to alienate immovable property this justification for source state taxation is weaker when the company carries on a business in the immovable property because “the assumption that a corporate veil has been interposed between the shareholder and the immovable property is questionable, and equating the alienation of shares in the company to the alienation of the underlying immovable property does not seem tenable” (s. simontacchi, “immovable property companies as defined in article 13(4) of the oecd model” (2006), 60 bull. int’l tax’n 29, at p 31). the carve-out is not in the 2017 oecd “model convention”, but it is contemplated by the oecd’s commentaries as an option for contracting parties who want to allocate taxing rights to the residence state for immovable properties such as mines and hotels (2017 commentary, at paras. 285-287). as a result, we agree with the tax court that one of the purposes of the carve-out is “to encourage investments by luxembourg residents in immovable property acquired to be used in a company’s business” (para. 43). relying on fundy settlement v. canada, 2010 fca 309, [2012] 2 fcr. 374, the federal court of appeal rejected the theory of “economic allegiance” as the rationale underlying art. 13(4) of the treaty because “[t]here is no distinction in the luxembourg convention between residents with strong economic or commercial ties and those with weak or no commercial or economic ties” (r v. mil (investments) sa, 2007 fca 236, [2007] 4 ctc 235 (“mil (fca)”), at para. 6). in our view, the reasoning adopted in fundy settlement, mil (tcc) and mil (fca) departs from the proper approach under the gaar, which focuses on the “why” — the rationale — behind the text of the relevant provisions; these cases should not be followed. if relying on the text of a treaty provision is sufficient to avoid abusing a treaty, then the gaar is effectively rendered powerless to address abusive transactions structured around tax treaties, notwithstanding the retroactive 2005 amendments to s 245 of the act to ensure that the gaar applied to tax treaties. as professor g. t. loomer explains, this analysis “seems to ensure that any avoidance strategy involving a canadian tax treaty, no matter how blatant, will be immune to the gaar provided the intermediate entity is formally established in the particular state and meets the technical requirements of the particular treaty provisions relied upon” (“tax treaty abuse: is canada responding effectively?”, in oxford university centre for business taxation, working paper no. 09/05 (revised march 2009), at s 433). we would also note that, when this court disposed of the appeal in fundy settlement on other grounds, it specified that it “should not be understood as endorsing the reasons of the federal court of appeal” on the gaar (fundy settlement v. canada, 2012 scc 14, [2012] 1 scr 520, at para. 19). alta luxembourg similarly argues that this court held, in crown forest, that residence under bilateral tax conventions is established where a taxpayer is subject to full tax liability in the contracting state. in its view, the crown is seeking to add the unstated condition that a taxpayer must have substantial economic ties to the contracting state of residence in order to qualify as a “resident” under the treaty. we disagree. this argument ignores the fact that crown forest did not deal with the application of the gaar the court in that case had to interpret the term “resident” under the canada-united states tax convention act, 1984 by contrast, where, as here, the gaar is invoked to deny a tax benefit that would otherwise be available based on the text of the provisions, one must look beyond the text in order to determine whether conferring such benefit frustrates or exploits the underlying rationale of the provisions. this does not mean that alta luxembourg must meet an “unstated condition” in addition to qualifying as a “resident” under arts. 1 and 4 of the treaty. rather, the crown raises the need for economic ties to luxembourg in relation to the object, spirit or purpose underpinning the relevant provisions. for the crown, granting the tax benefit to alta luxembourg in the circumstances where it fails to have any real, substantial economic connection to the state of residence would frustrate the underlying rationale of the relevant provisions this accords with the proper methodology under the gaar. in sum, the distributive scheme allocates taxing rights based on the strength of the economic connection between the income and the contracting states. the carve- out of art. 13(4) follows the same logic: when a taxpayer carries on a business in an immovable property, it derives benefits more from the residence state and that state’s commercial legal framework than from the source state’s infrastructure this connection between the income and the residence state forms the economic basis for residence state taxation. (d) conclusion on the rationale for the relevant provisions we conclude that the rationale for the relevant provisions of the treaty is to allocate taxation rights to the contracting state which has the strongest economic claim to the relevant income. the carve-out assigns the right to tax capital gains arising from the disposition of immovable property in which business is carried on to the resident state. the rationale behind the carve-out is to encourage investment; it reflects the fact that the business activity, rather than the immovable property itself, drives the value of the property. accordingly, the economic justification for source state taxation — an exception to the general principle of taxation in the state of residence — is weaker. the state of residence has the stronger economic claim to tax the income. (2) was there an abuse of the provisions of the treaty? the courts below erred in law by failing to identify the object, spirit or purpose of the treaty’s relevant provisions and, instead, merely restated art. 13(5). the courts failed to focus on the reason for the article. consequently, we are called on to conduct the abuse analysis afresh and to determine whether the transaction falls within or frustrates the rationale of the relevant provisions of the treaty (canada v 594710 british columbia ltd., 2018 fca 166, [2019] 5 ctc 1, at para. 64). in our view, alta luxembourg’s presence in luxembourg is not genuine — it is mere gossamer. as such allowing it to enjoy tax benefits conferred on the basis of the stronger economic connection between the taxpayer’s income and luxembourg frustrates the object, spirit or purpose of the provisions of the treaty. alta luxembourg’s lack of substantial economic connection is plain from a review of the record. alta luxembourg was created and controlled by alta us and its american and other foreign shareholders whose jurisdiction did not have a tax treaty with a similar exemption as the treaty. the transaction was structured to ensure no gain would be realized in luxembourg and that all proceeds of the sale would flow to the shareholders. as a senior managing director of the private equity firm behind the restructuring said, the objective was not to establish a genuine presence in luxembourg, but rather to ensure that “everything will . . . flow through vehicles and no canadian taxes will be paid” (ar, vol. iv, at p 106). after the transaction, alta luxembourg did not carry business in luxembourg. alta luxembourg’s presence in luxembourg was manufactured out of whole cloth the shareholders and investors of alta us retained “domiciliation services” to provide a corporate presence in luxembourg and benefit from the treaty. email exchanges preceding the transaction make it clear that the service provider’s role was solely to ensure that alta luxembourg had the minimum “substance requirements” so the shareholders and investors of alta us could “avail [themselves of] the benefits under the canada/luxembourg tax treaty (ie, to alleviate canadian tax leakage)” (ar, vol. iv, at pp. 138-39) calls for alta luxembourg would be routed to a switchboard and answered by an employee from the service provider. in addition to providing a corporate presence to alta luxembourg, the service provider also held board meetings for alta luxembourg. the members of the board of alta luxembourg were composed of two classes of managers: class a managers, and class b managers. all class b managers were provided by the service provider and never met with class a managers in essence, alta luxembourg only existed through the service provider. it was an empty shell. canada and luxembourg agreed to the carve-out for the purpose of reflecting the closer economic connection between luxembourg and its residents who carry on business in an immovable property situated in canada yet the avoidance transactions were structured around a shell company with no real ties to luxembourg, which was created solely to obtain a tax benefit under the treaty therefore, the transactions led to an outcome that defeats the rationale underlying the allocation of taxing rights to luxembourg over a class of capital gains. indeed, this is precisely the type of transaction that the authors li and avella qualify as abusive uses of tax treaties: “. . . using interposed companies in an intermediary jurisdiction to take advantage of that jurisdiction’s treaty network . . .” in relation to capital gains (s 2113). canada has deliberately decided not to extend the benefit of the treaty exemption found in the treaty to the residents of the jurisdictions of the shareholders of alta us. with regards to the provisions at issue, the common intention of canada and luxembourg could not have been to provide an avenue for residents of third-party states to indirectly obtain tax benefits they could not obtain directly absent any real economic connection with luxembourg this is “patently contrary to the basis on which” states cede their “jurisdiction to tax as the source country” (crown forest, at para. 52). our colleague’s reasons assume that the federal government deliberately set out, in the exercise of its treaty making authority, to create the conditions for unlimited tax avoidance by means of schemes such as that in which alta luxembourg was used. to state such a proposition is to expose its absurdity, yet our colleague seeks to legitimize such blatantly abusive tax avoidance based on her view that canada should have negotiated different treaty terms the focus on what else could hypothetically have been agreed to is misplaced. it involves ex ante speculation about how the treaty parties ought to have proceeded based on alternatives said to have been available to them. however, such an argument gives primacy to what is not there. we are of the view that parliament was entitled to rely on the gaar to address abusive uses of the treaty rather than negotiate the inclusion of a specific rule. the focus should be on what was actually agreed upon and whether the underlying rationale of the relevant provisions was frustrated by the avoidance transactions undertaken in the give and take of treaty negotiation, canada certainly did not give up the gaar. the auditor general raised concerns with precisely these types of schemes 20 years ago and recommended that parliament take legislative action to protect canada’s tax base. parliament addressed this “mischief” with the enactment of s 4.1 itcia to ensure the minister could rely on the gaar to deny tax benefits obtained through the use of schemes found to be abusive under the gaar analysis. to borrow the words of li and cockfield, to “ascertain whether parliament . . . intended to prohibit a particular tax-avoidance transaction”, it is wise to determine what is the “mischief” it sought to remove (p 380). in addition, the avoidance transactions run contrary to the objective of encouraging trade and investment which underlies the carve-out they were not an acquisition or an investment, but rather a liquidation of an existing investment in canada without paying tax on the capital gain. thus, the transactions are disconnected from the economic objectives underlying the bargain. further, although “insufficient by itself to establish abusive tax avoidance”, our jurisprudence is clear that the absence of a bona fide non-tax purpose “may form part of the factual context that the courts may consider in the analysis of abusive tax avoidance allegations under s 245(4)” (canada trustco, at para. 58; see also lipson, at para. 38). the absence of bona fide non-tax purpose is relevant when the rationale of the provisions at issue means “that a particular tax benefit may apply only to transactions with a certain economic, commercial, family or other non-tax purpose” (canada trustco, at para. 58). here, the minister is seeking to apply the gaar in the context of a purely tax-motivated corporate restructuring resulting in a shift of residence to luxembourg, a reorganization for which there was no bona fide non-tax purpose given that the rationale of the relevant provisions is to reflect the economic ties with luxembourg, the state of residence, this utter lack of any non-tax purpose is a relevant underlying factor that can be considered in the analysis under s 245(4) of the act. while the crown has conceded that alta luxembourg was a resident of luxembourg under art. 4 of the treaty, contrary to the federal court of appeal, we do not consider the residency requirement to be determinative in the context of a gaar analysis. again, the gaar framework requires courts to give effect to the rationale underlying the text of the relevant provisions. the reasoning of the federal court of appeal would effectively amount to holding that the gaar does not apply to tax treaties when the benefit is to be exempt from taxation in canada, ie when canada has ceded its right to its treaty partner. since being exempt from taxation in canada is the main tax benefit provided by tax treaties, the gaar, a general rule of last resort, would be rendered nugatory as a rule in relation to abuses of tax treaties. technical compliance with a tax treaty in a way that frustrates the underlying rationale of the provisions relied upon by the taxpayer is precisely what triggers the gaar. alta luxembourg complied with the words of the relevant provisions of the treaty, but not their rationale. it is that to which the gaar requires courts to give effect. we acknowledge that finding that a transaction structured to claim tax benefits from a treaty can be abusive when a resident lacks economic connections to the state of residence may produce more uncertainty than mechanically applying the words of the treaty however, parliament struck the balance it considered proper between certainty and fairness to the tax system as a whole. the facts of this case are a patent example of a sophisticated taxpayer effecting a restructuring on the basis of professional tax advice to avoid canadian tax. in such cases, the principle of fairness ought not to be ignored. as for the degree of uncertainty introduced by the gaar, it is counterbalanced by the crown’s burden to show that the avoidance transactions frustrate the object, spirit or purpose of the provisions relied on by the taxpayer and by the fact that any doubt under the gaar analysis is to be resolved in favour of the taxpayer (canada trustco, at para. 69). in this case, the abuse is clear. the evidence demonstrates that alta luxembourg had no genuine economic connections with luxembourg as it was a mere conduit interposed in luxembourg for residents of third- party states to avail themselves of a tax exemption under the treaty. we agree with our colleague that the lack of any non-tax purpose, although relevant, does not on its own lead to the determination of abuse in this case. rather, it is this lack of any genuine economic connection to luxembourg that frustrates the rationale of the relevant provisions of the treaty. the crown has discharged its burden. finally, we wish to comment on an observation made at paras. 84-85 of the tax court decision. the tax court explained that a party negotiating a tax treaty is presumed to be aware of the other state’s tax system, such that canada, as a state which taxes capital gains, should have seen to the prevention of a double exemption of this type of income. to be clear, the crown’s position, as we understand it, is not that the gaar is invoked because the capital gain did not go on to be taxed in luxembourg. rather, the crown is seeking the application of the gaar because in its view, alta luxembourg had no economic connection to luxembourg and therefore the underlying rationale of arts. 1, 4 and 13(4) that it identified is frustrated. in sum, we are of the view that alta luxembourg’s patent lack of economic connection to luxembourg frustrates the underlying rationale of the relevant provisions of the treaty to allocate the taxation rights to the contracting state with the strongest economic claim the transactions are the product of a contrivance which was not reasonably contemplated within the object, spirit or purpose of art. 13(4). as a result, the avoidance transactions frustrate the rationale of art. 13(4) and constitute abuse under the gaar. accordingly, the tax benefit conferred by the relevant provisions is denied. (3) a word on treaty shopping we pause to say a word on whether treaty shopping constitutes an improper use of tax treaties, as this was extensively discussed by the parties and in the courts below the oecd glossary of tax terms (online) defines “treaty shopping” as follows: an analysis of tax treaty provisions to structure an international transaction or operation so as to take advantage of a particular tax treaty. the term is normally applied to a situation where a person not resident of either the treaty countries establishes an entity in one of the treaty countries in order to obtain treaty benefits. (see also crown forest, at para. 52.) on this issue, we agree with the crown that the treaty is not intended to provide avenues for residents of third-party states to benefit from their treaty partner’s tax regime in the absence of genuine ties to that state. as this court held in crown forest, there is no reason to assume that canada would enter into tax treaties to “ced[e] its taxing authority to a jurisdiction that is a stranger to the convention” (para. 49). treaty shopping connotes “a premeditated effort to take advantage of the international tax treaty network, and careful selection of the most favorable treaty for a specific purpose” (h. d. rosenbloom, “tax treaty abuse: policies and issues” (1983), 15 law & pol’y int’l bus 763, at p 766, cited in d. g. duff, “tax treaty abuse and the principal purpose test — part 1” (2018), 66 can. tax j 619, at pp. 623- 24) treaty shopping typically involves the practice of non-residents establishing a minimal presence or economic activity in a country in order to benefit from the jurisdiction’s treaty network with other countries (v. krishna, “using beneficial ownership to prevent treaty shopping” (2009), 56 tax notes int’l 537, at p 540). treaty shopping has notably been criticized on the grounds that it produces outcomes contrary to the intention of the contracting states, such as reduced taxation and non-taxation, which can lead to an unintended erosion of national tax bases (duff (2018), at pp. 624-25; see also b. j. arnold and j. r. wilson, “aggressive international tax planning by multinational corporations: the canadian context and possible responses”, university of calgary school of public policy, vol 7, research paper no. 29 (2014), at p 56). indeed, treaty shopping can indirectly and unwittingly provide tax benefits for residents of third-party states, contrary to canada’s intention to extend such benefits solely to the residents of the treaty partner (department of finance, consultation paper on treaty shopping — the problem and possible solutions, august 12, 2013 (online)) as a result, treaty shopping can upset the “balance of sacrifices” that underlies a tax treaty and reduce the incentive to conclude a tax treaty. why would a state negotiate a tax treaty with canada and make the concessions such a process entails if its residents can access canada’s tax treaty network through treaty shopping arrangements (duff (2018), at p 624; oecd, action 6 prevention of tax treaty abuse (online); see also j. li, “beneficial ownership in tax treaties: judicial interpretation and the case for clarity”, in p. baker and c. bobbett, eds., tax polymath: a life in international taxation (2011), 187, at p 191)? in crown forest, this court unanimously stated that treaty shopping is “highly undesirable” and “patently contrary to the basis on which canada ceded its jurisdiction to tax as the source country” (para. 52). it added that such behaviour “is not to be encouraged or promoted by judicial interpretation of existing agreements” (para. 49). nevertheless, we agree with alta luxembourg that treaty shopping is not inherently abusive there is nothing necessarily improper about minimizing tax liability by selecting a beneficial tax regime in making an investment in a foreign jurisdiction (crown forest, at para. 49) certain jurisdictions may provide tax incentives to attract businesses and investment; as such, taxpayers are entitled to avail themselves of such benefits to minimize tax thus, merely selecting a treaty to minimize tax, on its own, is not abusive. in fact, it may be consonant with one of the main purposes of tax treaties: encouraging trade and investment. however, where taxing rights in a tax treaty are allocated on the basis of economic allegiance and conduit entities claim tax benefits despite the absence of any genuine economic connection with the state of residence, treaty shopping is, in our view, abusive. as professors n. bammens and l. de broe explain, the use of “conduit companies” is disconnected from the objectives of bilateral tax treaties: . . tax treaties are concluded for reasons of an economic nature: the contracting states want to stimulate reciprocal commercial relations by preventing double taxation the use of conduit companies and treaty shopping structures has very little to do with this economic objective. treaty shopping thus upsets the balance and reciprocity of the tax treaty: in order to preserve a tax treaty’s inherent reciprocity, its benefits must not be extended to persons not entitled to them. [emphasis added; footnotes omitted.] (“treaty shopping and avoidance of abuse”, in lang et al., tax treaties, 51, at p 52; see also li and avella, at s 2113). in such cases, as here, the avoidance transaction would be contrary to the objectives of bilateral tax treaties and frustrate the object, spirit or purpose of the specific provisions related to the allocation of taxing rights. preventing such abuse is the purpose of the gaar: “. . most double tax treaties do not contain specific limitations on the ability of third-country residents to treaty shop [and instead] rely on the concept of beneficial ownership or on domestic anti-abuse legislation to safeguard against hollow conduits” (krishna (2009), at p 540) similarly, c. a. brown and j. bogle are of the view that the gaar is “[t]he primary tool to fight treaty shopping in canada currently” (“treaty shopping and the new multilateral tax agreement — is it business as usual in canada?” (2020), 43 dal. lj 1, at p 4). in conclusion, not all types of treaty shopping lead to abuse of a tax treaty. only when an avoidance transaction frustrates the rationale of the relevant treaty provision will treaty shopping be abusive and the tax benefit denied for instance, where contracting parties allocate taxing rights to the state of residence on the basis of economic allegiance, as in this case, treaty shopping will be abusive if the resident of a third-party state uses a conduit company to claim treaty benefits conferred by provisions requiring a genuine economic connection with the residence state. therein lies the undermining of these provisions’ rationale clothed in a formalistic adherence to their text. ignoring this is to render the gaar empty of meaningful effect. iv disposition we would allow the crown’s appeal and set aside the judgments of the federal court of appeal and the tax court of canada, with costs. alta luxembourg’s appeal under the act from the minister of national revenue’s assessment for the 2013 taxation year should be dismissed. appeal dismissed with costs, wagner c.j and rowe and martin jj. dissenting.