Adding subsumed-pr?