f 
( w t -> 
