Rename #copy & #iff; add #iff