Before revision: Despite good design, however, it is possible that a third task of medium priority (, where represents the priority for task ) becomes runnable during 's use of .
After revision: Despite good design, however, it is possible that a third task of medium priority becomes runnable during 's use of .