  We develop new tools for the construction of fixed point sets in digital
topology. We define excludable points and show that these may be excluded from
all freezing sets. We show that articulation points are excludable.
  We also present results concerning points that must belong to a freezing set
and often are easily recognized. These include points of degree~1 and some
local extrema.
