Waco is part of Texas