| abstraction