The condition 'sufficiently faster' is semantically underspecified absent a formal characterization ...