Yep, hope I can listen to it again on C-span so I can laugh at Buto a second time.
Watch the debate live if anyone cares to
https://www.pbs.org/newshour/nation/watch-live-ted-cruz-beto-orourke-face-off-in-texas-senate-debate