Comment by univerio

What are the proper abstractions necessary?