Ugh, so I did. Here's the link: https://github.com/bringhurst/tlaplus/blob/master/examples/P...