paf~ in an abstraction