vlr_cover_thm