Symbolic Abstract