A record's fields are final, so records are immutable (though they can include immutable pointers to mutable objects)