Non-residually finite ${\tilde{C}}_2$-lattices

We provide the first examples of lattices on irreducible buildings that are not residually finite. Assuming that the normal subgroup property holds for them (which is expected) five of the lattices are simple.