BUT WHAT IS Lawrence vs. Texas, REALLY?