Was there a “ban” on research, or a ban on federally-funded research?