Push all kinds of stuff
Add both leaders to \