Symbolic Abstraction