Alloy to TLA V1