I am legitimately curious how a government entity can get a patent. Shouldn't anything funded with tax dollars automatically get put into the public domain?