IRM*1915proof set* #2