  We prove that there are at least 2 commensurability classes of minimal-volume
hyperbolic 4-manifolds. Moreover, by applying a well-known technique due to
Gromov and Piatetski-Shapiro, we build the smallest known non-arithmetic
hyperbolic 4-manifold.
