mapping over refs
place the references in terms
remove the TermSyn at the end