What punishment should be given to those who set the school hall alight?