approaching full abstraction