Applications of the hyperbolic Ax–Schanuel conjecture. (13th August 2018)