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