@fsfe so this, and that government funded R&D should mean ALL derived research papers, patents and copyright are free public domain. A small exception for national security, but then the results would be classified, after declassification enter public domain. Use taxpayer money, then it should belong to everyone.