The reviewers generally liked this paper and also provided a number of suggestions for improvement. Please take these recommendations seriously when revising the paper. In particular, I agree with Reviewer 4 that the informal theorem statements in the main body obscure many details. Theorem 2, in particular, seems to be simultaneously too formal (do we need all these exact numeric constants?), while also obscuring important details. Overall, the ideas are interesting but I found the paper somehow a bit messy to read. Impact will be maximised by cleaning this up a for the final version.