I've watched TLA+ creators videos and was impressed positively. It is lovely to see such logic in action with powerful results.