passive_fist comments on I need some help debugging my approach to informal models and reasoning