A simple symbolic evaluation.