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