for S being non empty non void bool-correct 4,1 integer BoolSignature
for I being integer SortSymbol of S
for o being OperSymbol of S st o = In (( the connectives of S . 8), the carrier' of S) holds
( the_arity_of o = <*I,I*> & the_result_sort_of o = I )