  We give a Belyi-type characterisation of smooth complete intersections of
general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$.
Our proof uses the higher-dimensional analogue of the Shafarevich boundedness
conjecture for families of canonically polarized varieties, finiteness results
for maps to varieties of general type, and rigidity theorems for Lefschetz
pencils of complete intersections.
