"Mutable owned boxes may become immutable when they are moved (and vice versa), because mutability is a property of the owner of an owned box, not the type itself." maybe?