# Claim 2 — first demonstration

## Official claim

> First demonstration that dual predictions can be effective for online minimization in metrical task systems and laminar set cover.

## Recorded source anchors

- \label{thm:laminarsetcover}
- \label{thm:MTSthm}

The pinned source crosswalk records these as the relevant informal result
anchors for the two named problem families.

## Limit

Status is **unverified**. “First” is an author novelty assertion in the
source; this package does not perform an independent literature survey.