Human-Compatible AI #3: 19 Nov