Synthetic reasoning