Modern Synthetic Theory