Yes but the analysis it's going to run is probabilist vs the one I'm running is closer to smt