Notes and TODOs
Making defensive copies on some calls to preserve class invariants and prevent accidental or malicious errors.