This restriction appropriately limits which necessary truths can be infallibly justified while still...