Shmi comments on Reference Post: Formal vs. Effective Pre-Commitment