Synthetic Reasoning