It would work by running the SSACalculator and treading each Phi as a variable and each Upsilon as a Def.