Idea: ‘Conjecture Arena’, ‘CA’ #2738·Benjamin Davies revised about 2 months ago
Idea: ‘Conjecture Arena’, ‘CA’
#2810 applies to this idea as well.