Just for the record, I think "pension" in the UK means something quite different than it does in the US. A UK pension is (usually?) more like a US 401(k).