not necessarily true, but that's semantics... `let mut` specifies that the slot (slot being an archaic term for "anywhere an object can live") is mutable, and so the value will inherit its mutability. But not all types buy into this inherited mutability.