Quantitative Arithmetic of Projective Varieties | EKB DL