This will take a while to get through - this is how far back I am: Two points: a) Yes, I believe "Logical Solvency" is yours for all intents and purposes. It intrigued me because I hadn't heard it before and then found it nowhere, but inferred it was related to Logical Consistency but perhaps with a bit of a nuanced difference. b) By referring to Analytic Agreement as "head in the clouds", it is not a criticism. Rather, it is something that is self-supporting - a floating structure that is a beautiful and perfect yet by being self-supporting, does not even require a ground to stand on to have a form of existence. [by "ground to stand on" I'm not implying rightness or wrongness, but more a mental visualization tool; akin to seeing beautiful images of DNA models in a 3D rendered graphic, rotating on the screen as opposed to extracting blood, putting it in a test tube with some lemon juice, shaking it up and ending up with stringy bits of cotton, slapping it on the table and going, "Here ya go bud, there's ya DNA!"