 In ∗3·12, the first two dots around the \(\lor\) simply “work away” from the connective. The second “extends” until it meets with the next of the same number (the third single dot). That third dot, and the fourth “work away” from the second \(\lor\), and the final dot indicates a conjunction with least force. The result, formulated with all possible punctuation for maximum explicitness, is: