Text this: Algebraic fundamental groups of fake projective planes.