public sealed record Student : Person { public int Level { get; } public Student(string first, string last, int level) : base(first, last) => Level = level; }