better names for @_t values