f -> t

f -> t