Revised after class, fourth committ