lukeprog comments on Explicit and tacit rationality