New discussion

reasoning dead loop.

#2 opened about 1 year ago by
zzzkw