Procedural vs. Causal Understanding — LessWrong