the declaration of the Van Der Chen
Laws
Declaration
I. Van der Chen Counting
September 19, 2019
One minute read
if n >=2: assert n == ∞