https://propertylwm.blogspot.com/2023/06/repaired-records-string-properties-from.html