Share "The Complete Language of Proposal 1"