There’s a significant distinction between federal organizations and federally-funded organizations— JPL is the latter.