New discussion

reasoning dead loop.

#2 opened 29 days ago by
zzzkw