معمای جدید استقرا

گودمن «سابی» را نسبت به زمان دلخواه اما ثابتِ t، بدین گونه تعریف می‌کند: یک شیء سابی است اگر و تنها اگر قبل از t دیده شده باشد و سبز باشد، یا دیده نشده باشد و آبی باشد. یک شیء آبز است اگر و تنها اگر قبل از t دیده شده باشد و آبی باشد، یا دیده نشده باشد و سبز باشد.

برای t یعنی یک زمان دلخواه آینده، مثلاً ۱ فروردین ۱۴۱۰، برای همه چیزهای سبز مشاهده شد قبل از t، مثل زمردها و علف‌ها، بر همه آن‌ها محمول‌های سبز و سابی قابل اعمالند. به‌طور مشابه برای همه چیزهای آبی مشاهده شد قبل از t، مثل گل‌های آبی، بر همه آن‌ها محمول‌های آبی و آبز قابل اعمالند. اما در اول فروردین ۱۴۱۰، همه زمردها و علف‌ها آبز هستند و همه گل‌های آبی سابی. محمول‌های سابی و آبز محمول‌های نیستند که ما در روزمره خود یا در علم استفاده می‌کنیم اما آن‌ها دقیقاً به همان روشی که سبز و آبی را تا زمان آینده t پیش‌بینی می‌کنند اعمال می‌شوند. از دید ناظران قبل از زمان t مشخص نیست که کدام محمول‌ها قابل تسری به آینده هستند (سبز و آبی یا سابی و آبز).