Refactoring to build a more re-usable tool for playing with GEB theorems.