7 There are two propositions concerned with #Dst1: destination(content(α)) = #Dst1 and referent(#Dst1) = Box1.
if dest(content(α)) = #Dst1 is not correct, this means that V grammatically misinterpreted (8.1).