No - 100m of celotex between rafters, 50mm of celotex below rafters and then plasterboard. I'm thinking that adding a 75mm void between celotex and plasterboard is required. 50mm would be preferred but can't even find downlights to go into this space. Phillips do one which only needs a 60m void...