I'd imagine they'd need a lot more than lottery funding to educate people in Texas