Comment by dev_l1x_be

Wasn't TLA+ used by AWS previously?