Valknuth comments map

2017