\{ \baseof{E} \; | \; E \in \pendsof{\allsrcs}{\pcy} \}
$$
-and $W \iassign w(h(\pcn))$
+and $W \iassign w(\pcn)$
\item While $\exists_{S \in \set S} S \ge W$,
update $W \assign S$ and $\set S \assign \set S \, \backslash \{ S \}$
}
$$
-TODO define $\setmerge$
-
\item Finalise our putative direct dependencies
$
\Gamma \assign g(\pc, \Gamma)