It is not just that power checks power, but that each branch performs a distinctive function in co-ordination with the others