Probably a daft question about ctc

This is probably a daft question so apologies in advance.

Hubby received his p60 today. There is no mention on it of pension contributions or union payments. For the purposes of child tax credits do I assume the final gross figure given on his p60 has already had the pension contributions deducted so I won't deduct them again when giving his earnings for the year?

Hopefully this makes sense....