Boosting Human Insight by Cooperative AI: Foundations of Shannon-Neumann Logic. GJCST 2022, 22 (F4), 1-20.