Do you deduct the pension percentage? The guy on the phone said no as it will likely be employer contribution and not his contribution so can take the headline pay. Is that right?