A formal statistical promise that a method's uncertainty estimates will contain the true answer at least a specified fraction of the time.