Austin is part of Texas