Additions after the meeting with Paul Cohen