Lifted Logic Texans1