Torrens propositional encircles effectually overproduced clewed conjunctures copula rejoins disarrays