AB27.2.1

AB27.2.1 B. Higman: for statement, page 6

Page 6