Tutorial: comment on how mutability applies to boxes