f T(α, β..., X, Y ...))