Sniffnoy comments on Harry Potter and the Methods of Rationality discussion thread, part 9

[Sniffnoy]

But as others have pointed out, that just indicates that that section of Hogwarts is negatively curved. Of course, you say “at least one”, so...