step statistics, Airy kernel, determinantal process