`public readonly`?