No proof, but I meant an implicit "even if you assume that" at the start of the comment.