Coverage probability and exact inference. (2nd January 2018)