For backbone_style 0 or 1, if nodes have the same split id, sid, they must be on different hosts but that is not a serious restriction since in that case the subtrees would normally be connected together using the standard connect statement.
Processing of an application (a_i) starts from processing of a connect statement (c_i), the processing of SQL statements (s_{i_j}), and it finally ends with processing of a disconnect statement (d_i).
A trace of an application (a_i) is a finite sequence of pairs (langle c_i):(t_{c_i}), (s_{i_1}):(t_{i_1}),..., (s_{i_n}):(t_{i_n}), (d_i):(t_{d_i}rangle ) where (c_i) is a connect statement, (t_{c_i}) is a timestamp when the statement has been processed, each (s_{i_j}) is SQL statement with a timestamps (t_{i_j}) attached, and (d_i) is a disconnect statement with its timestamp (t_{d_i}).
With no context or following comment to connect the statement to a specific place in time, it still managed to hit a nerve.
2. Other biconditionals which might be needed besides the ones associated with the sentential operators of necessity and possibility are ones connecting counterfactual statements and "closeness" relations between possible worlds, and biconditionals connecting probability values and measures on sets of possible worlds.
Citation, the act of connecting text statements through reference to the broader literature, is not simply an impartial scholarly method for joining related published knowledge.
All we need is connecting-statements or rules that link any statement to experiential statements translation rules, originally biconditional 'constitution sentences', and subsequently, in the late 1930s, weaker conditional 'reduction sentences' and 'semantic postulates', or 'bridge principles'.
All connect and disconnect statements are ignored.
And we connect Russell's statement, thanks to Denis Donoghue, to this one, by Locke: "I cannot but observe how little the preservation and improvement of truth and knowledge is the care and concern of mankind, since the arts of fallacy are endowed and preferred".
Homology statements may connect markers in non-homologous SBs, as long as other homology statements connect these markers to markers in homologous SBFs.
