initial abstraction