← TheAlloy-TheoreticAutomatedToolkit(ATAT):AUserGuide