New discussion

reasoning dead loop.

#2 opened 20 days ago by
zzzkw