Deliver one explicitly selected bounded ready item through a small, sound implementation and proportionate proof.
