Bounding the $j$-invariant of integral points on modular curves · wovepaper