Interdiff of #4 and #7