comment on 9.1-9.4