Pretty much all of computing is based on multiple layers of complicated things that the end users (including programmers) don't understand. How do we distinguish "magic" from "a successful abstraction" or "an effective and powerful tool"?