Explicit and tacit rationality — LessWrong