5.2.1 ref-set