Talk:Tonks–Girardeau gas