matrix_cover