Supplementary material for the paper “A Coverage Theory for Least