The protocols for sperm freezing, embryo freezing, superovulation, in vitro fertilization, transportation and the generation of germ-free mice are available in the protocols section.