Input (grade 7): thus defining proposition in terms of synonymity.
Output (grade 7): This defines proposition in terms of synonymity.