copy when ... := ...