Lightweight Abstraction Definition