"professionally typeset"