future works. Many studies of yields, targets, and retrievals of atmospheric properties of planets with JWST have been done , and it is likely many of the best hot jupiter targets have already been discovered by existing surveys such as SuperWASP [@2006PASP..118.1407P], and HATNet [@2004PASP..116..266B], although the upcoming [*TESS*]{} mission will turn greater attention to [*JWST’s*]{} continuous viewing zone [@2009PASP..121..952D].

In general, observations of planetary spectra may be inverted to obtain useful information about their atmospheres using various statistical retrieval techniques. These are compared with a model set of theoretical spectra computed over a range of atmosphere parameters. A best fit to the observations is found using a statistical algorithm, most commonly a Markov-Chain Monte Carlo algorithm (MCMC), but other algorithms may be used, including other Monte Carlo algorithms or non-Monte Carlo algorithms such as the optimal estimation method [@2000SAOPP...2.....R]. These algorithms provide a posterior distribution for the parameters of the atmosphere, as long as the correct answer is within the forward model set.

A number of such codes have been developed, each with a different emphasis. The BART code, produced by Harrington et al., is a highly modular code designed to compute spectra from first principles with thermal equilibrium 