Synthetic Theory