Li-Fan Chen says to YSITD
nat := 1+ nat | 0
at Fri, Sep 14, 2018 10:15 PM