It doesn’t eliminate logic bugs. I’d argue these are way more relevant in day to day programming.