في هذا الحد، سيكون التحقق الرسمي رخيصا جدا لقياس