Four Abstraction Layers