Zhu-Liang Inevitability of the BSD Conjecture | Synapse