t ) a&e ^ b , t foratt