Old mountain #7 abstraction