Szczypiński abstraction