Add test for Section uniqueness; rm unnecessary tests