Talk:Baik–Deift–Johansson theorem