program should come with manuals providing the same freedoms that the