But on the above installation, it would in theory be possible to overload the RCD, say if we purposely put on a couple of electric heaters, the oven and the electric shower for a few hours... You get my point. So with this 'diversity' thing, we're hoping the RCD never has >80A for extended...