Notes and thoughts on Texas' June 14-16 official visit weekend