Characterization and individuality in Wolfram's