apply/zip term; iter/trav subtraction