synthetic proposition