What if Robert E. Lee, instead of Twigg, was in command in Texas during the Texas secession in early 1861?