I need some help debugging my approach to informal models and reasoning — LessWrong