Proposal #10: Forms That Allow Declarations Proposal #11: Contents of Tagbody Proposal #12: Unique Names For Tags These proposal seems to have generated no controversy. That's fine with me! Someone asked why we allow numbers as tags. This was done because it seemed harmless and some old code had such things.