Typeset from STC 22360.