referential abstraction - nature