CandidsFormalsThe Setup