描述逆时旅行是否在数学上还缺乏必要工具?