模型 已由 Uri Rabin 标记