Original: thus defining proposition in terms of synonymity.
Simplified: This defines proposition in terms of synonymity.