CarlShulman comments on r/​HPMOR on heroic responsibility