  We investigate a conjecture about stabilisation of deficiency in finite index
subgroups and relate it to the D2 Problem of C.T.C. Wall and the Relation Gap
problem. We verify the pro-$p$ version of the conjecture, as well as its higher
dimensional abstract analogues.
