records, with expression, required property - C#