the barbarian bit was tongue-in-cheek. it's just that symbolic algebra is one of those old-school, classic use cases for computers, like playing chess or guiding missiles or scheduling routes. I enjoy those kinds of moments.