1: \begin{abstract}

2:   \noindent

3:   We construct the first example of a lattice on an irreducible Euclidean building that is not residually finite. Conjecturally, the normal subgroup theorem extends to this lattice making it virtually simple.

4: \end{abstract}

5: