I'll try to be to the point. I'm a higher tax payer. Planning on paying 1K per month into an AVC. Does this mean £600 is taken from my pay and it's topped up to £1000 with 40% tax break, or do they take the full £1000 then add on the tax break?