Cameron_Taylor comments on Formalization is a rationality technique

[Cameron_Taylor]

Not quite. You can combine the arguments together in all sorts of ways.