逻辑 has not yet been mentioned.