Would it be in the public domain if the copyright hadn't been properly renewed (according to the laws effective at the time of first copyright expiration)? Or is the Bono extension blanket on all works after 1923? I know the extension retracted many works from the public domain (how they could do this without huge legal battles or public outrage boggles the mind), but I'm unclear on the details.