Discussion

See the end of the previous talk.