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