(외기(및 (중위 저세계1) (고중위 세계2)) (가속 고세계2) (가속도 고세계1)) (외기(및 (중위 저세계2) (고중위 세계1)) (가속 고세계1) (가속도 고세계2))
qval(가중치, 낮음, 세계1), qvale(가 중치, 높음, world2) -> qrel(가속도, 더 높은, 세계2) ; qreul(가속, 더 높이, world1)
라이트 러너.
무거운 러너.
만약 최고 속력에 도달하는 두 개의 러너가 있다면 (A) 무거운 러너이거나 (B) 가벼운 러너이다.