3.4.2 Force-extension graphs