Text this: The computability path ordering