1. We agree (and will acknowledge more explicitly) that the overall proof program is similar to

Open in new window