It now seems possible to give the most general propositional form: that is, to give a description of the propositions of any sign language whatsoever in such a way that every possible sense can be expressed by a symbol satisfying the description, and every symbol satisfying the description can express a sense, provided that the meanings of the names are suitably chosen.