abstraction parameter