My reference to `invert` is actually to `_invert` in solve.py.