Proteins produced by animal cells in culture would be an animal product, whereas proteins produced by genetically engineered microbes (using animal genes) would not, correct?