Huh?
Yes that was in the judges statement that came out today. https://assets.documentcloud.org/documents/2800337/Ted-Cruz-Decision.pdf