abstraction-s