I am doing some research on abstraction, and I am failing to find what I am looking for. It is either I am not looking right, or I am looking for something that is not possible.