Presence does not show absence

A check that data is present does not show that nothing else is stored. The overview notes that data could be staged into local memory before a challenge, which only an unpredictable, capacity-filling challenge rules out.