Too bad they only formulate the detection positive rate empirically. I am curious what the exact probability would be mathematically.