let term_of (a, _) = a