In the base game's Automa, are the Automa cards you have used discarded or shuffled back in? — Between Two Cities FAQ | RulesPal