5.4 Condition的设计猜想