other times, i say it’s ok when you try your best. except, i am not trying my best. so i should have no expectation for it to be ok.
instead, i should expect random deletion of files on my computer? it’s like dirty @requires, @effects, @modifies stuff in 6.170. ugh. i can’t believe i just thought and wrote that. (but the test was a-ok.)