D. O. A. Pass r^Cc > Book -k^ S3 Given n LIBRARY