Otherwise, every document produced by the US government derived from another document would put the original under public domain.
Otherwise, every document produced by the US government derived from another document would put the original under public domain.