Specified coverage in conclusion