would it be worth it to use record initialization syntax in case you wanna change one of these from Nothing?