(외기(속력 높은 세계1) (시간 낮은 세계1 ( 시간 높은세계1)) (인터(속도 상위 세계2) (시간 하위 세계2)(시간 상위세계2))
qrel(속도, 더 높음, world1) -> qrel(시간, 더 낮음,world1) ; qrelli(시간,더 높음,세계1)
치타.
강아지.
치타는 개보다 빠르기 때문에 트랙을 돌아다니는 데 (A) 더 적은 시간(B) 더 많은 시간이 걸린다.