Text this: An intermediate term functor logic