User index works; at start of Section 9.4.