Senator-Mike-Lee-et-al-Amicus-Brief