Notice that the name for each checkbox is the same. The reason for this is that when
the page is submitted, the values of all selected checkboxes will be retrieved as an
array of Strings from the HTTP request. We will talk about this in detail when we
discuss the output page.