copy_quotation must propagate the context