$eq:del-contr$. Since $Gᶜ$ is the full complement of the looped graph $G°$, expanding by $eq:complement$ and then applying $lem:looping$ to each spanning subgraph $F_s$ gives the double sum. The inner sum ranges over the subsets of $s$, the edges of $F_s$.