A small section of the mouse brain’s hippocampus uses specific neural codes to denote social familiarity and identity