See the page Texas LP License