Formalities in copyright law (registration, renewal, marking) should be reinstated because without them, it is impossible for creators to know what is protected and what is not, or to find copyright owners to ask permission from, making the permission system unworkable.