Experimenting with removing setters for properties in IDeathRecord