Three outside reviews of my TLA+ models

This is the third part of the series that began with Twelve days of TLA+ on my own tools and continued in Thirteen review rounds and one rollback. Part 2 ended with five fix rounds of the first outsid