> What makes it fancy or scary? Its an abstraction and abstractions are hard. In away, its similar to why beginners tend to have trouble with recursion (if you

> What makes it fancy or scary? Its an abstraction and abstractions are hard. In away, its similar to why beginners tend to have trouble with recursion (if you try to understand a recursive program by stepping through without using abstractions like preconditions and postconditions)