Synthetic proposition