ستحتاج لدالة الاغلاق بدلالة النوع كجواب للشرط العكسي بالدالة الرئيسية كالتالي :