michael_webster comments on Formalization is a rationality technique