2 ms·The comment may just be pattern matching on the topic, not reasoning about TFA.by cma 2y agoThe comment may just be pattern matching on the topic, not reasoning about TFA.