Typescript draft and corrected proof