automated abstraction

.. in progress

Find me on

.