especially with random sharding across peers -- idk what the data is, it is just some incomplete binary that satisfies a has function as far as I'm concerned. If the leecher also never asks any peer for the entire subset of the tree then any given peer doesn't know if a peer has downloaded a given file