Quantitative Reduction Theory and Unlikely Intersections. (16th July 2021)