5 U.S.C. § 7131 : Government Organization And Employees — Labor-Management Relations — Administrative And Other Provisions — Employees — Labor-Management And Employee Relations — Official Time