function duplicate() { return false; }