This was disappointing. It is a list of products where they used TLA+ and a marketing-level description of how TLA+ helped. The first mention of TLA+ doesn't come until almost halfway through.