{
  t^3 a^-1 b, b^4
}
