پلانتینگا با نقد مفهوم توجیه از نظر معرفت شناسی، مفهوم تضمین را معرفی مطرح نمود. او پس از ذکر مولفه های به کار رفته در این مفهوم، بار اصلی را بر دوش مفهوم «کارکرد صحیح» می اندازد و این مفهوم را به باورهای دینی، از جمله باور به خدا بسط می دهد. از این رو وی سعی می کند با جستجوی الگویی، تضمین باور به خدا را با توجه به آرای «آکویناس» و «کالون» در قالب مدلی به نام «A/C» با چهار ویژگی سامان بخشد و از خاستگاه این مدل ادعا کند در انسان، نوعی گرایش طبیعی و فطری به خدا وجود دارد که در شرایط خاص، باور به خدا را تولید می کند و در صورت صدق، احتمال تضمین آن بسیار زیاد است. بر اساس این نگاه، خداباوری در موضعی قوی تر از طبیعت گرایی قرار می گیرد؛ زیرا اگر طبیعت گرایی صادق باشد، نمی توان احتمال تضمین باور به آن را بالا دانست. این مقاله با تبیین و تحلیل مدل فوق، به پیش فرض ها و نتایج این مدل و سپس نقدهای وارد شده بر آن می پردازد.