To me a big part of computer science is abstracting away unreliable details to make them seem reliable.