Non-linear residually finite groups

We give the first example of a non-linear residually finite 1-related group: 〈a,t|at2=a2〉.