3.2 有序的世界：可测试与可跟踪的系统