Fixed priority of abstraction and application