Denton is part of Texas