Addition of Chen's work since the last push