@dump_stack "reminder" as if this is some fact we already agree on