Hilbert's Eighth Problem (2020) · Trunq