About the tla+ spec.