「在回答服務區汽車消失的謎底前，我需要再問幾個問題，接下去的每個問題，你只回答肯定、否定，或者不確定，好嗎？」梁明問。
「行，當然沒問題。」
「第一個問題，服務區四周一整圈，沒有其他出口？」
「不錯。」
「不不，請不要用‘不錯’這樣的含蓄的方式回答，只用肯定、否定，或者不確定。」
高棟無奈撇撇嘴，道：「肯定沒有其他出口。」
「好的。第二個問題，不是吊車弄出去的吧？」
「今天已經調查過了，肯定不是。」
「第三個問題，肯定不是裝上其他貨車，運出去的嗎？」
「肯定。」
「第四個問題，兩個監控探頭，肯定沒有任何的盲點嗎？」
「肯定。」
當高棟回答完這四個問題，那頭的梁明笑了下，道：「我所有的判斷依據的前提，均建立在你對這四個問題肯定回答的基礎上，也就是說，除非你手下對這四個問題的調查存在漏洞，否則，我的結論沒有問題。」
「真是夠自信的。」高棟咂咂嘴，笑道，「不過就算你猜錯了也沒關係，你不是我的人，我也沒法兒扣你工資。」
「不，不是猜測，而是嚴謹的數學模型。」梁明的回答很認真。
高棟有點意外：「這東西也能建數學模型？」
梁明笑笑：「當然，現實中的一切都能建出相應的數學模型。許多人對數學模型的概念並不清晰，以為數學模型就是要量化地計算某樣東西的結果，這是很狹義的數學定義。實際上，在這次的服務區汽車消失事件裡，儘管沒有任何的數字，但這也是個模型，一個動態的幾何模型。」
高棟仔細地聽著，道：「你接著說。」
「我昨天說過，車子在服務區消失，用列舉法的方式來思考，理論上有無限種可能，列舉法是不靠譜的思維方法。不過你知道列舉法的極限是什麼嗎？」