Title: How to play the Texas lottery