Inter-theory relations in quantum gravity: Correspondence, reduction, and emergence. (August 2018)