• Non-Contradiction Changcheng Li
• nashjc John C. Nash