The authors’ central mechanistic claim, discriminating between two rival TMAO models. Uncertain (the microbiome step is inferred, not directly measured here).