Not related to the content, but in the Background section I tried to click on "Provably secure" sort of expecting it to expand. Meanwhile under ORE constructions, the similarly-styled "Semantically Secure Order-Revealing Encryption" is a clickable link.