( f 3t ' 4)