wild type mice (figure S2A and figure S2C)