by Yilun Zhang, CTO of NKN.org
work in progress, revised on 2019–03–31
March 31st, 2019; San Mateo, California