Lemport comments map

2019