Tag: core identifiers definition