To any essentially self-dual, regular algebraic (ie cohomological) automorphic representation of GL(n) over a CM field one knows how to associate a compatible system of l-adic representations. These l-adic representations occur (perhaps slightly twisted) in the cohomology of a Shimura variety. Recently Harris, Lan, Thorne and myself have constructed l-adic representations without the `essentially self-dual' hypothesis'. In this case the l-adic representations do not occur in the cohomology of any Shimura variety. Rather we construct them using a congruence argument. In this talk I will describe this theorem and sketch the proof.