F Discipline resolution methods This was added as part of the discussion over net resolution, with the intention of removing details of the algorithm from Chapter 8, and leaving that chapter generic. It didn?t work (Annex F looks really odd. One solution would be to simplify Chapter 8, leaving room for alternate views on mixed nets, and delete Annex F).