compiled after proofreading