numerically effective cotangent bundle; degree ABC conjecture; the error term in the ABC conjecture; radicalized Vojta height inequality; Diophantine approximation; Roth's theorem; type of an algebraic number; Mordell's conjecture; effective Mordell 