Why are immutable objects (objects whose state cannot change after creation) often preferred in certain designs?

A They use no memory at all B They are inherently thread-safe and easier to reason about since their state never changes unexpectedly C They cannot have methods D They must be re-created every time the program runs