( f * If.