these would also fall into the public domain