Proper abstraction required