add exemple for language proposition