1.1 Formal Specification of the GloBE ETR The determination of the Effective Tax Rate (ETR) under the GloBE regime follows…