wip/symbolic++
