* Typo fix in PropertyUndefiendRoutine.
* StrategicPureEquilibriumRoutine sketch.