Don't import from abc in library code, define `x = Symbol('x')` instead.