because you can make descriptions of useful human cognition without specifying the implementation. When you’re reading python code, do you ask, “wait, which hard register is this local variable stored in??”