The electricity trading act (Lei 10.848/04, Article 4, §§ 5 and 6) establishes the creation of a company in which an arbitration clause is mandatorily included. Emergency relief in a declaratory action arguing unconstitutionality. Opinion of Justice Gilmar Mendes, the only one who examined the merits of the issue, upholding the constitutionality of the provision. Emergency relief denied and the main action, ADI 3100, pending judgment: