Text this: Rigorous Results on Spontaneous Symmetry Breaking in a One-Dimensional Driven Particle System.