If Software Is Funded from a Public Source, Its Code Should Be Open Source