RIP Tony Benn: he encouraged us