Mental Habits are Procedural — LessWrong