for B being non empty non void bool-correct BoolSignature
for C being non empty non void ConnectivesSignature st the carrier' of B misses the carrier' of C holds
B +* C is bool-correct