( t f 0 | a (u