We also don't debug computer programs by looking at logic gates. We have abstractions built on top of that.