Recently, a group of mathematicians used MCMC to demonstrate that North Carolina had been gerrymandered. However, the Supreme court rejected this notion and ruled that gerrymanders can't be objectively identified. Did the mathematicians make a mistake or was their analysis sound?