counting statistics, Fredholm determinants