f -> if