Synthetic_proposition