मॉडल क्रियाएँ अर्थ में सूक्ष्म भेद जोड़ती हैं। किसी चीज़ को तार्किक रूप से असंभव कहने के लिए — 'He ___ be at home; his car is gone' — कौन सा फिट बैठता है?

"Can't" यहाँ सही है क्योंकि यह प्रमाण के आधार पर तार्किक असंभवता या निष्कर्ष व्यक्त करता है — गायब गाड़ी इस बात का सबूत है कि वह घर पर नहीं हो सकता, भले ही किसी ने सीधे उसे जाते हुए न देखा हो। "can't", "must" और "might" जैसी अंग्रेज़ी सहायक क्रियाएँ (modals) बोलने वाले को यह सटीक संकेत देने देती हैं कि वह किसी निष्कर्ष के बारे में कितना निश्चित है, न कि केवल नियम या अनुमति बताने के लिए।

"Mustn't" निषेध व्यक्त करता है, यानी कुछ वर्जित है, जो किसी के स्थान के बारे में अनुमान लगाने में फिट नहीं बैठता। "Shouldn't" सलाह या यह उम्मीद व्यक्त करता है कि क्या होना चाहिए, जो इस वाक्य के तार्किक, प्रमाण-आधारित तर्क से भी मेल नहीं खाता।

यही सहायक-क्रिया व्यवस्था बोलने वालों को लगभग एक जैसे व्याकरण का इस्तेमाल करते हुए "he must be home" (मज़बूत अनुमान कि वह है) और "he can't be home" (मज़बूत अनुमान कि वह नहीं है) के बीच अंतर करने देती है — यह बारीकी मूल भाषी सहज रूप से समझते हैं पर सीखने वालों को इसमें महारत हासिल करने के लिए वास्तविक अध्ययन करना पड़ता है।