must (copy) at top level