We should document the guarantees (and meanings) of the block arguments here, not on the methods below.